CLang 中的 enable_if 错误是否有更好的解决方法（错误 11723）？

Question

理想情况下，我们可以用 enable_if 做类似的事情：

#include <type_traits>

namespace detail {
    enum class enabler_t { DUMMY };
}

template<bool B>
using enable_if_u = typename std::enable_if<B, detail::enabler_t>::type;

template<bool B>
using disable_if_u = typename std::enable_if<!B, detail::enabler_t>::type;

template<typename T, enable_if_u<std::is_same<T, int>::value>...>
int a(){return 0;}

template<typename T, disable_if_u<std::is_same<T, int>::value>...>
double a(){return 0.0;}

int main() {
    auto x = a<int>();
}

恕我直言，这是最好的使用方式。

但是，由于bug 11723，这不适用于 Clang。

我正在使用的解决方法是使用虚拟 constexpr 变量：

namespace detail {
    enum class enabler_t { DUMMY };
    constexpr const enabler_t dummy = enabler_t::DUMMY;
}

//...

template<typename T, enable_if_u<std::is_same<T, int>::value> = detail::dummy>
int a(){return 0;}

template<typename T, disable_if_u<std::is_same<T, int>::value> = detail::dummy>
double a(){return 0.0;}

//...

我不是这种解决方法的忠实拥护者，我想知道是否还有另一种解决方法可以使代码在 Clang 中工作？我正在寻找一个纯 C++ 解决方案，不涉及预处理器。

这个例子本身只是为了说明问题，它根本没有用，还有很多方法可以让它变得更好。我只想为 enable_if 部分找到更好的解决方法。

Answer 1

您应该只使用宏：

#define ENABLE_IF(...) typename std::enable_if<(__VA_ARGS__), detail::enabler_t>::type=detail::enabler_t::DUMMY

宏还具有避免 C++ 中最麻烦的解析的优点，因为它总是可以在布尔表达式周围放置括号。如果你觉得大写宏看起来很难看，你可以使用ZLang 让它更干净，如下所示：

#define BW_ENABLE_IF(...) typename std::enable_if<(__VA_ARGS__), detail::enabler_t>::type=detail::enabler_t::DUMMY
#define ZLANG_bw_enable_if (BW_ENABLE_IF)

那么如果用-DZLANG_NS=bw编译就可以写如下：

template<typename T, $(enable_if std::is_same<T, int>())>
int a(){return 0;}