GCC 4.7有时无法使用指针模板参数

gcc 4.7 fails to use pointer template parameter sometimes

本文关键字：指针 参数 GCC      更新时间：2023-10-16

完成（不）工作示例：

struct s { int i; };
template<const s* _arr>
class struct_array
{
public:
    static constexpr auto arr = _arr[0]; // works
    template<int >
    struct inner // line 9, without this struct, it works
    {    
    };
};
constexpr const s s_objs[] = {{ 42 }};
int main()
{
    struct_array<s_objs> t_obj;
    return 0;
}

这样编译：

g++ -std=c++11 -Wall constexpr.cpp -o constexpr

我使用Ideone的GCC 4.8.1获得了一个运行程序，但是4.7.3向我打印出来：

constexpr.cpp: In instantiation of ‘class struct_array<((const s*)(& s_objs))>’:
constexpr.cpp:18:30:   required from here
constexpr.cpp:9:16: error: lvalue required as unary ‘&’ operand
constexpr.cpp:9:16: error: could not convert template argument ‘(const s*)(& s_objs)’ to ‘const s*’

最后两行重复3次。原因是什么，是否有任何解决方法可以在GCC 4.7.3上使用我的代码？

这似乎是我的编译器错误。

我在GCC 4.1.2（codepad）上尝试了您的示例，您必须明确注意该变量为具有外部链接（const暗示内部链接，除非另外指定，否则以下代码为C 03）：

struct s { int i; };
template<const s* _arr>
class struct_array
{
public:
    static const s arr;
    template<int >
    struct inner
    {    
    };
};
template<const s* _arr>
const s struct_array<_arr>::arr = _arr[0];
// Notice the 'extern'
extern const s s_objs[] = {{ 42 }};
int main()
{
    struct_array<s_objs> t_obj;
    return 0;
}

我还可以在启用C 11的GCC 4.8.1上工作。

所以，解决方法是：

更改

constexpr const s s_objs[] = ...;

to 

extern const s s_objs[] = ...;

现场示例在这里。

如果您希望变量是静态类成员，则必须指定它具有外部链接：

struct data
{
    static const s s_objs[1];
};
extern const s data::s_objs[1] = {{ 42 }};

这给了我对GCC 4.7的警告，而不是4.8。另外，它不会在Rise4Fun上编译。因此，我不确定这是一个编译器中的纯标准还是错误。

相关文章：