特化模板函数以生成编译时错误

Question

如果用户尝试使用给定的模板参数调用该函数，如何专门化模板函数以在编译时生成错误？

通过使用以下成语，我能够为模板 class 获得这种行为...

template <typename T>
class MyClass< std::vector<T> >;

我要修改的函数的基本签名是...

template <typename T>
T bar(const int arg) const {
  ...
}

如果我使用与禁止某些模板类相同的范式...

template<>
std::string foo::bar(const int arg) const;

我可以生成链接器错误，我认为这比运行时错误更可取，但仍然不是我想要的。

由于我无法使用 C++11，我无法使用 static_assert，如 here 所述。相反，我正在尝试像这样使用BOOST_STATIC_ASSERT...

template<>
std::string foo::bar(const int arg) const {
  BOOST_STATIC_ASSERT(false);
  return "";
}

但是，这会产生以下编译时错误，即使我不尝试使用我试图禁止的模板参数调用函数的实例...

error: invalid application of 'sizeof' to incomplete type 'boost::STATIC_ASSERTION_FAILURE<false>'

我找到了this post，但它并没有真正提供我认为适用于我的任何见解。有人可以帮忙吗？

Answer 1

使用boost::is_same 生成一个编译时布尔值，然后可以与BOOST_STATIC_ASSERT 一起使用来执行检查。

template <typename T>
T bar(const int) 
{
  BOOST_STATIC_ASSERT_MSG((!boost::is_same<T, std::string>::value), 
                          "T cannot be std::string");
  return T();
}

bar<int>(10);
bar<std::string>(10);  // fails static assertion

Live demo

Answer 2

好像C++不允许专门的模板成员函数。所以如果你想使用相同的接口，你应该使用其他技术。我想使用 trait_type 来实现这个。

template <class T>
struct is_string : false_type {};
template <>
struct is_string<string> : true_type {};

template <typename T>
class MyClass {
 private:
  T bar(const int arg, false_type) const {
    return T();
  }

  std::string bar(const int arg, true_type) const {
    return "123";
  }
 public:
  T bar(const int arg) const {
    return bar(arg, is_string<T>());
  }
};

如果你不能使用C++11，你必须自己实现false_type和true_type。或者您可以使用专门的模板类。