odr使用变量的模板静态constexpr定义

Question

实际代码更复杂，但我能够将其简化为这个示例。

在我尝试获取指向MyPackets\u t：：type的指针（在main（）中取消对foo（）的注释调用）之前，一切都正常

此时，为了使应用程序链接，类型需要定义。

我正在努力寻找正确的定义语法。已注释掉模板。。。应该做到这一点。但是，它生成了一个错误“PacketCollection：：types的模板参数与原始模板不匹配”。

尝试这样的东西-模板

我试着用MyPackets\u t代替PacketCollection——结果是一样的。

如果我使数据包集合非模板化，那么一切都会按预期编译和运行。

我觉得我要么错过了一些非常基本的东西，要么编译器中有一个错误。我在gcc 4.8和4.9中得到了这种行为。

Clang 3.5对这种情况有一个稍微不同的理解：constexpr静态数据成员“类型”的声明需要一个初始值设定项。

到目前为止，我找到的唯一解决方法是使用

static constexpr std::array<int, 2> types() { return {1,2}; }

相反，但我不喜欢这个解决方案。如果变量在非模板版本中工作（使用标头中的初始值设定项），那么它也应该适用于模板版本。

#include <iostream>

using namespace std;

class Packet_A
{
public:
    static constexpr int TYPE = 1;
};

class Packet_B
{
public:
    static constexpr int TYPE = 2;
};

template <typename T> class PacketCollection
{
public:
    static constexpr size_t size = 2;
    static constexpr int types[size] { 1, 2 };
};

typedef PacketCollection<Packet_A> MyPackets_t;

//template<typename T> constexpr int PacketCollection<Packet_A>::types[PacketCollection<Packet_A>::size];

void foo(const int* bar, size_t size)
{
    if (size >= 2)
    {
        cout << bar[0] << bar[1];
    }
}

int main(int argc, char* argv[])
{
    cout << Packet_A::TYPE;
    cout << MyPackets_t::types[0];

    //foo(MyPackets_t::types, MyPackets_t::size);

    return 0;
}

Answer 1

您应该使用T而不是Packet\u A

template<typename T> constexpr int PacketCollection<T>::types[PacketCollection<T>::size];
                                                    ^                          ^

请参阅实时示例。