我想在编译时使用constexpr if进行分支，但它似乎没有被最新的MSVC编译器支持。有下列？：Constexpr if
template<typename T>
void MyFunc()
{
if constexpr(MeetsConditions<T>::value)
{
FunctionA<T>();
}
else
{
FunctionB<T>();
}
}
总之替代：我可以模拟constexpr if当它不被编译器支持？
一个预C++ 17层的方法是使用局部模板特，喜欢这里：
template <template T, bool AorB>
struct dummy;
template <typename T, true>
struct dummy {
void MyFunc() { FunctionA<T>(); }
}
template <typename T, false>
struct dummy {
void MyFunc() { FunctionB<T>(); }
}
template <typename T>
void Facade() {
dummy<T, MeetsConditions<T>::value>::MyFunc();
}
如果您需要更多，比2个专业化 - 您可以使用枚举或整数值，并为所有需要的枚举进行专门化。
另一种方法是使用std :: enable_if：
template <typename T>
std::enable_if<MeetsConditions<T>::value, void>::type
MyFunc() {
FunctionA<T>();
}
template <typename T>
std::enable_if<!MeetsConditions<T>::value, void>::type
MyFunc() {
FunctionB<T>();
}
你可以做到这一点老土，久经考验的标签分发方式：
template<typename T>
void MyFuncImpl(std::true_type) {
FunctionA<T>();
}
template<typename T>
void MyFuncImpl(std::false_type) {
FunctionB<T>();
}
template<typename T>
void MyFunc()
{
MyFuncImpl<T>(std::integral_constant<bool, MeetsConditions<T>::value>{});
}
if constexpr是一个C++ 17的功能;之前，C++ 17，从C++ 11日起，您可以使用SFINAE与std::enable_if
template<typename T>
typename std::enable_if<true == MeetsConditions<T>::value>::type MyFunc()
{ FunctionA<T>(); }
template<typename T>
typename std::enable_if<false == MeetsConditions<T>::value>::type MyFunc()
{ FunctionB<T>(); }
- 编辑 -
如果您只能使用C++编译器98，实施像std::enable_if那样工作的类型特征非常简单;请看下面的例子
template <bool, typename = void>
struct enableIf
{ };
template <typename T>
struct enableIf<true, T>
{ typedef T type; };
和功能变得
template<typename T>
typename enableIf<true == MeetsConditions<T>::value>::type MyFunc()
{ FunctionA<T>(); }
template<typename T>
typename enableIf<false == MeetsConditions<T>::value>::type MyFunc()
{ FunctionB<T>(); }
确实有几个备选方案（其中已使用长if constexpr之前就开始存在）。
一是标签调度：
template <class T>
void Function(std::true_type)
{
FunctionA<T>();
}
template <class T>
void Function(std::false_type)
{
FunctionB<T>();
}
template <class T>
void MyFunc()
{
Function<T>(std::integral_constant<bool, MeetsCondition<T>::value>{});
}
另外一个特点是：
template <bool B>
struct FunctionTraits;
template <>
struct FunctionTraits<true>
{
template <class T>
static void Call() { FunctionA<T>(); }
};
template <>
struct FunctionTraits<false>
{
template <class T>
static void Call() { FunctionB<T>(); }
};
template <class T>
void MyFunc()
{
FunctionTraits<MeetsCondition<T>::value>::Call<T>();
}
如果您正在使用C++ 14和加速，请考虑使用Hana。用花来实现，这看起来是这样的：
template<typename T>
void MyFunc()
{
hana::eval_if(MeetsConditions<T>::value,
[](auto) { FunctionA<T>(); },
[](auto _) { FunctionB<T>(_(exprThatWouldOtherwiseBeAnError)); }
);
}
为了检测SFINAE，只有在这种情况下执行一些特定情况下，这可能是这么简单：
template<typename T>
void MyFunc()
{
auto maybeDoFunctionA = hana::sfinae([] -> decltype((void) FunctionA<T>()) {
FunctionA<T>();
});
}
这是一个C++ 17功能 – max66
是的我知道，问题是最新的MSVC不完全支持C++ 17。 –
可能很有意思：[模拟静态图片与c11c14]（https://baptiste-wicht.com/posts/2015/07/simulate-static_if-with-c11c14.html） – Jarod42