c++ - 使用 `::value` 时如何避免写入 `::type` 和 `std::enable_if` ？ [cppx]

Question

_{注意:这是一个 question-with-answer 以记录其他人可能认为有用的技术，并可能了解其他人更好的解决方案。请随意添加批评或问题作为评论。也请随意添加其他答案。 :)}

---

在我的一些代码中，即标题 rfc/cppx/text/String.h 中，我发现了以下神秘片段:

template< class S, class enable = CPPX_IF_( Is_a_< String, S > ) >
void operator!  ( S const& )
{ string_detail::Meaningless::operation(); }

operator! 支持 String 类，该类具有到原始指针的隐式转换。因此，我为此类和派生类重载了(除其他外)operator!，因此无意中使用了不受支持的运算符将给出适当的编译错误，并指出它没有意义且无法访问。我认为这比默默地接受这种意外的、不正确的结果更可取。

CPPX_IF_ 宏支持 Visual C++ 12.0 (2013) 及更早版本，它发现 C++11 using 大多超出其范围。对于一个更符合标准的编译器，我会写...

template< class S, class enable = If_< Is_a_< String, S > > >
void operator!  ( S const& )
{ string_detail::Meaningless::operation(); }

这看起来像 std::enable_if,

template< class S, class enabled = typename std::enable_if< Is_a_< String, S >::value, void >::type >
void operator!  ( S const& )
{ string_detail::Meaningless::operation(); }

除了 If_ 或 CPPX_IF_ 及其表达式，简洁易读。

我到底是怎么做到的？

Answer 1

在 C++14 中，变量模板使类型特征看起来更舒服。将它与 C++11 模板别名结合起来，所有繁琐的东西都消失了:

template <typename A, typename B>
bool is_base_of_v = std::is_base_of<A, B>::value;

template <bool B, typename T = void>
using enable_if_t = typename std::enable_if<B, T>::type;

用法:

template <typename B, typename D>
enable_if_t<is_base_of_v<B, D>, Foo> some_function(B & b, D & d) { /* ... */ }

_t 形式的“类型”别名实际上已计划作为 C++14 标准库的一部分，请参阅 [meta.type.synop]。