Question

如果出现非专门基版本,我试图使我的模板功能产生一个汇编时的错误。我尝试了通常的汇编时间主张模式(反面阵列大小),但即使模板没有瞬时,汇编也未能成功。是否考虑如何使这一职能失败,如果而且只有在出现基级职能时才会这样做?

template<class Foo> void func(Foo x) {
  // I want the compiler to complain only if this function is instantiated.
  // Instead, the compiler is complaining here at the declaration.
  int Must_Use_Specialization[-1];
}

template<> void func(int x) {
  printf("Hi
");
}

Answer 1

并非最容易的解决办法:

template<class Foo> void func(Foo x);

template<> void func(int x) {
  printf("Hi
");
}

也可在CPP档案和

静态主张方法:

template<class Foo> void func(Foo x) {
  static_assert(sizeof(Foo) != sizeof(Foo), "func must be specialized for this type!");
}

Answer 2

在C++11中,可使用<代码>static_assert。类似:

template<typename T> struct fake_dependency: public std::false_type {};
template<class Foo> void func(Foo x) {
   static_assert(fake_dependency<Foo>::value, "must use specialization");
}

<代码>fake_dependency 有必要加以调整,使断言取决于您的模板参数,因此,它等待评价,直到模板的出现。同样,你也可以找到这样的解决办法:

template<class> struct fake_dependency { enum {value = -1 }; };

template<class Foo> void func(Foo x) {
    int Must_Use_Specialization[fake_dependency<Foo>::value];
}

See also here for a Live demo。

Answer 3

页: 1 Foo,如:

int Must_Use_Specialization[-sizeof(Foo)];

Answer 4

如果你永远不会使用基数模板,你就不需要基数模板! 仅就你希望使用的种类提供超载荷!

void func(int x) {
    printf("Hi 1
");
}

void func(double x) {
    printf("Hi 2
");
}

void func(Bar x) {
    printf("Hi 3
");
}

This will get you a compile time error for func(foo); (unless foo is convertible to one of the other types).

Answer 5

Just use Boost.StaticAssert

(Edit:或static_assert) 如果得到C++11支持的话。我原谅这一点。

友情链接