带有自定义对象的常量表达式

Question

我正在尝试使用自定义类的实例作为模板参数。

class X {
public:
  X() {};
};

template <class Foo, Foo foo>
struct Bar {

};
const X x;
Bar<X, x> foo;

编译器声明 x 不能出现在常量表达式中。为什么呢？在编译时构造该对象的一切都已给出。

Answer 1

你做不到。标准 14.1 说：

4 非类型模板参数应具有以下类型之一（可选 cv 限定）：
— 整数或枚举类型，
— 指向对象的指针或指向函数的指针，
— 对对象的引用或对函数的引用，
— 指向成员的指针。
5 [注意：下面明确或隐含地禁止使用其他类型，这些规则管理模板参数的形式
（14.3）。 —尾注] 确定模板参数时，模板参数上的顶级 cv 限定符将被忽略
类型。

Answer 2

正如其他人指出的那样，你做不到。只要您不玩元编程游戏，传递类的实际实例的正常方法就是在构造函数中：

template <class Foo>
struct Bar {
    Bar( const Foo & f ) {
      ...
    }
};

Answer 3

模板参数可以是类型或整型常量。 X 是一种类型，但 x 不是。您也不能使用常量浮点值。