c++ - 在 if-else block 中实现类似 SFINAE 的效果

Question

我希望能够写出类似的东西

template <typename T> void foo() {
    // ...
    if (is_nice<T>::value) {
        bar_which_is_defined_only_for_nice_types<T>();
    }
}

但是，当我尝试编译它时(g++ 4.9.3，无优化)，我收到了关于 bar_which_is_defined_only_for_nice_types 的投诉。如何在不求助于 foo() 的 2 个定义的情况下达到预期的效果？

Answer 1

您可以根据 is_nice<T> 标记调度

#include <type_traits>

template<typename T>
struct is_nice : std::false_type {};
template<>
struct is_nice<int> : std::true_type {};

template<typename T>
void do_nice_things(std::true_type)
{
    bar_which_is_defined_only_for_nice_types<T>();
}

template<typename T>
void do_nice_things(std::false_type)
{
}

template <typename T>
void foo()
{
    do_nice_things<T>(is_nice<T>{});
}