c++ - 模板类中的静态常量类型

Question

我一直在研究这个问题，但还没有找到解决方案。基本上我需要在模板类中初始化一个静态常量类型变量。

class MyType
{
public:
    MyType (int a, int b) { }
};

template <class T>
class MyClass
{
public:
    static const MyType Type;
};

在 cpp 中初始化 Type 会产生链接器错误。在 header 中初始化 Type 将导致它被多次初始化。由于它是非整数类型，因此无法在类中初始化类型。如何在不限制类特化的情况下解决这个问题。感谢您的帮助。

Answer 1

我不确定您所说的“在 cpp 中初始化 Type 会产生链接器错误”是什么意思。但是假设您实际上是指 定义 那么您一定做错了什么，因为在适当的位置为每种类型定义静态成员肯定有效!您在类模板中拥有的是一个对象的声明，如果它被引用，则需要在某处定义。只有 MyType 碰巧是一个整型，你在你的类 [template] 中初始化它，你永远不需要它的地址(例如，将它绑定(bind)到一个常量引用或获取它的地址)你逃脱没有定义它。这是因为在这种情况下它始终被视为常量表达式。

我的猜测是你试图在一些 cpp 文件中定义你的对象:

template <typename T> MyType const MyClass<T>::Type = some-initialization-here;

除非您还在同一个翻译单元中显式或隐式地实例化此定义，否则这将不起作用。您可以像这样为特定类型定义成员:

template <> MyType const MyClass<T>::Type = some-initialization-here;

除非你真的需要这个类型是一个常量表达式，在这种情况下你通常可以回避这个问题，如果有必要的话，通过将它变成一个enum(这是我倾向于做的，因为这guy 可以绑定(bind)到 const 引用而无需定义)，您可以使用可以在 header 中定义的静态成员函数:

template <typename T>
MyType const& MyClass<T>::Type() {
    static MyType rc = some-initialization-here;
    return rc;
}

顺便说一句，我很确定这个问题之前已经回答过，肯定是在 comp.lang.c++.moderated 中.