主页 / 问题 / 934152
Accepted
ampawd
Asked:2020-01-20 01:58:31 +0000 UTC2020-01-20 01:58:31 +0000 UTC

关于具有静态数据的专业化和模板类的问题

  • 772

假设我们有一个模板类：

template<typename T>
class X
{
public:
    static T t;
    static T foo()
    {
        return t;
    }
};

这样的静态成员初始化有什么区别t

double X<double>::t = 5.0f;

以及类专业化（或静态成员！？）的此类初始化？

template<>
double X<double>::t = 5.0f;
c++

2 个回答

  1. Best Answer

    这两种语法在形式上都是正确的，但第一种在这种情况下不适用。

    您可以在模板类本身的定义之外使用四种相对“相似”的语法

    // 1
template<typename T> T X<T>::t;
// "Общее" определение статического члена.
// Является определением независимо от наличия инициализатора.

// 2
template<> double X<double>::t = 3;
// Явная специализация статического члена для `T == double`.
// Является определением только при наличии инициализатора. Без инициализатора
// является просто объявлением.
// Определения, предоставленные методом 1, не распространяются на явные
// специализации, т.е. определение для явной специализации требуется
// предоставить отдельно.

// 3
template double X<double>::t;
// Явное инстанцирование статического члена для `T == double`.
// Не допускает указания инициализатора. 
// Может выполняться только после выполнения определения или явной 
// специализации. В последнем случае - не имеет никакого эффекта.

// 4
double X<double>::t = 3;
// Определение статического члена явной специализации.
// Является определением независимо от наличия инициализатора.
// Требует, чтобы явная специализация шаблона класса была определена выше.

    所有这些句法结构都统一适用于类方法声明。然而，在这种情况下，我们谈论的是静态数据。

    因此，当且仅当它遵循显式类模板特化的定义时，您的第一个声明才是正确X的T == double

    template<typename T> class X
{
public:
    static T t;
};

template<> class X<double>
{
public:
    static double t;
};

double X<double>::t = 5.0f;

    但是，如果没有明确的类模板特化，如在您的具体示例中，这样的声明是不合适的。

    • 9

  2. 是的，区别很大，输入double X<double>::t = 5.0f;无效，会导致编译错误。

    • 2

相关问题