强制模板参数具有特定的运算符

Question

我有一个模板类（A）。如何强制模板参数具有特定功能？

template <class T>
class A 
{

} ;

T应具有特定功能。

由于

Answer 1

如果你的模板代码使用了这个函数，如果T没有它，编译就会失败。

但如果您的目标是向A的用户提供更清晰的错误消息，则可以使用基于checks on T having that member的静态断言。但请注意，您必须watch out for inherited functions。