GCC 匿名未初始化

Question

我正在尝试创建类似于 std::tuple 的东西，一种使用可变参数模板和递归继承的编译时列表，如下面的实现所示。

我的问题是，尽管下面显示的实现在 msvc、clang 和 icc 上运行良好 ConstExprList::Get 在 gcc（主干版本）上总是 returns 0。

如果在启用 -Wall -Werror 选项的情况下编译代码，gcc 会抛出以下错误：

anonymous is used uninitialized in this function [-Werror=uninitialized].

请注意，禁用优化后不会发生错误。

这是 gcc 实现中的错误还是遗漏了什么？

#include <type_traits>

template <typename... Args>
class ConstExprList;

template <typename Head, typename... Tail>
class ConstExprList<Head, Tail...> : public ConstExprList<Tail...>
{
public:
    ConstExprList(const Head& head, const Tail&... tail) : ConstExprList<Tail...>(tail...),  m_head(head) {}

    template <std::size_t Idx>
    inline typename std::enable_if<Idx == 0, Head>::type Get(void) const noexcept
    {
        return m_head;
    }

    template <std::size_t Idx>
    inline typename std::enable_if<Idx != 0, Head>::type Get(void) const noexcept
    {
        return ConstExprList<Tail...>::template Get<Idx - 1>();
    }

private:
    const Head& m_head;
};

template <typename Head>
class ConstExprList<Head>
{
public:
    ConstExprList(const Head& head) : m_head(head) {}

    template <std::size_t Idx>
    inline auto Get(void) const noexcept
    {
        static_assert(Idx == 0, "Index out of range");
        return m_head;
    }

private:
    const Head& m_head;
};

int main(void)
{
    ConstExprList<int, int> l(7, 3);

    return l.Get<0>();
}

Answer 1

该警告具有误导性，但指出了一个真正的问题。 m_head 是一个初始化为临时的引用。这不是导致临时生命周期延长的上下文之一，因此您的引用悬而未决。

GCC 匿名未初始化

GCC anonymous is uninitialised

c++

gcc

compiler-errors

variadic-templates

compiler-flags