在 C# 中，我习惯于在泛型方法或类型中指定多个约束，如下所示：
How do I specify multiple generic type constraints on a single method?
今天我第一次开始使用 C++，当我在谷歌上搜索 模板多个约束 时，我找不到任何有用的东西。
几乎看起来这是不可能的，每个人都知道，因此没有提出任何问题。
我知道在 C# 中泛型通过编译器的验证比在 C++ 中要强得多，这就是为什么不能将我的类型限制为多个超类型对我来说感觉不对的原因。
【问题讨论】：
static_assert
标签： c++ templates generics constraints
这在今天的 C++ 中是可能的，但语法相当复杂。在下一个主要的 C++ 版本中，我们很可能会获得 concepts 的版本，这会使这变得更加容易。
在 C++14 中，您发布的 C# 示例可能如下所示：
template <class TResponse, class TRequest,
std::enable_if_t<std::is_base_of<MyClass, TRequest>::value &&
std::is_base_of<MyOtherClass, TResponse>::value>* = nullptr>
TResponse Call(TRequest request);
【讨论】：
std::enable_if 而不是 std::enable_if_t，它将在 C++11 中可用。
std::enable_if_t<XXXX> * = nullptr 比 typename std::enable_if<XXXX>::type * = nullptr> 短一点。参见：en.cppreference.com/w/cpp/types/enable_if
您通常使用std::enable_if 对 C++ 模板进行约束
这是诀窍 - 如果您的模板如下所示：
template <class T>
<return type> <function name> (args...)
您采用返回类型并将其与enable_if 联合起来，如下所示：
template <class T>
typename std::enable_if<XXX,<return type>>::type
<function name> (args...)
这里，XXX 代表您的编译时条件。
例如：让 add(T1 t1 , T2 t2) 只为继承自 Addable 的对象编译：
template <class T1, class T2>
typename std::enable_if<
std::is_base_of<Addable,T1>::value && std::is_base_of<Addable,T2>::value
decltype(T1()+T2())>::type
add (T1 t1, T2 t2){
return t1+t2;
}
【讨论】：