c++ - 通过使用特征在模板类的编译时抛出错误来禁用函数

Question

我有一个类，我们称它为Foo有几种方法:

template<typename T>
class Foo {
public:
   Foo()               { /* ... */ }
   bool do_something() { /* ... */ }

   // This method should be callable only if:
   // std::is_floating_point<T>::value == true
   void bar() { 
      // Do stuff that is impossible with integer
   }
};

我希望能够同时构建 Foo<double>和 Foo<int>但我不想允许调用 bar()当类型 T 不是浮点类型时。我还希望在编译时而不是在运行时生成错误。所以，我想要的是:

Foo<double> a;
a.bar();                        // OK
Foo<int> b;
bool res = b.do_something();    // OK
b.bar();                        // WRONG: compile error

我用 enable_if 尝试了很多东西(有类似 this 或 this one 的帖子)但我不能再使用 int输入 Foo .例如:

typename std::enable_if<std::is_floating_point<T>::value>::type
bar() { /* ... */ } 

main.cpp:112:28:   required from here
foo.h:336:5: error: no type named ‘type’ in ‘struct std::enable_if<false, void>’
 bar() {

如何限制 bar() 的使用？到浮点类型但允许整数类型在其他地方使用？

Answer 1

void bar() { 
   static_assert(std::is_floating_point<T>::value,
                 "this method can only be called for floating-point Foos!");
   // do stuff
}