模板化类的静态常量

Static constants of templated class

本文关键字：静态 常量      更新时间：2023-10-16

我一直在使用gcc 4.8.2中的模板类和常量，并遇到了一个有趣的链接器错误:

#include <iostream>
using namespace std;
template <class T, int m>
class A {
public:
  static const T param = m;
  T value;
  A(const T &value, const T &dummy = T()) : value(value) {}
};
// Works with this
// template <class T, int m>
// const T A<T, m>::param = m;    
template <class T, int m>
A<T, m> operator +(const A<T, m> &a, const A<T, m> &b) {
  if (a.param != b.param) exit(1);
  // Works if I replace a.param with 0
  return A<T, m>(a.value + b.value, a.param);
}
int main() {
  A<int, 2> v = A<int, 2>(1) + A<int, 2>(2);
  cout << v.value << endl;
  return 0;
}

在当前状态下编译代码会给出一个链接器错误，告诉我A::param没有定义。

在Visual Studio 2008中尝试这段代码，它编译和链接没有任何问题。在gcc上，当我使用param常数的外部声明，或者如果我将a.param替换为0或指示行上的任何内容时，它都会编译。

我不明白的是为什么包含if语句的行可以使用a.param而没有编译错误，而我不能将a.param传递给构造函数而不对外声明。

所以我的问题是:我什么时候需要在外部声明param, if语句和构造函数调用中的访问有什么区别?我测试的两个编译器中，哪一个在这里做了"正确"的事情，哪一个扩展了标准?

再玩一会儿，我意识到当我为g++指定-O2标志时，它也可以工作。

template <class T, int m>
class A {
public:
  static const T param = m;
  T value;
  A(const T &value, const T &dummy = T()) : value(value) {}
};
// Works with this
// template <class T, int m>
// const T A<T, m>::param = m;
//gotta define it here!
template <class T, int m>
const T A<T, m>::param;
template <class T, int m>
A<T, m> operator +(const A<T, m> &a, const A<T, m> &b) {
  if (a.param != b.param) exit(1);
  // Works if I replace a.param with 0
  return A<T, m>(a.value + b.value, a.param);
}
int main() {
  A<int, 2> v = A<int, 2>(1) + A<int, 2>(2);
  std::cout << v.value << std::endl;
  return 0;
}
从这里

如果静态数据成员是const整型或const枚举类型，可以在静态数据成员声明中指定常量初始化式。这个常量初始化式必须是一个整型常量表达式。注意，常量初始化式不是定义。您仍然需要在封闭命名空间中定义静态成员。

在正常工作的情况下，编译器是不兼容的。微软是不兼容的，因为微软几乎从不兼容，g++和-O2有点有趣，但无论哪种情况，你都没有定义!

编辑:根据经验，我总是在类之外定义静态常量成员变量，因为这样我就不必记住它了。在这种情况下，如果T不是整数类型，例如浮点数，那么类A将无效。因此，与其围绕异常做任何模式，我更倾向于坚持使用规则周围的模式。

相关文章：