“条件”别名模板

template  using type = has_type ? int : float;

要么

template  using type = if_has_type::type;

我考虑使用类似https://en.wikibooks.org/wiki/More_C%2B%2B_Idioms/Member_Detector（“检测成员类型”一节）中描述的方法，但是我不知道如何实现其帮助结构[唯一]成员类型取决于另一个成员类型的存在。

通过使用std::conditionalfrom 。就像这样简单：

using type = typename std::conditional::type;

要么

using type = std::conditional_t;

在这里bool用某种条件替换，可以在编译时将其评估为布尔值。在这种情况下，条件是检查现有成员。

如果条件为truetype，则成为type的别名int，否则为float。

完整示例（检查是否difference_type为成员类型。）

namespace detail {

template
using ptrait_diff = typename Ptr::difference_type;

template::value>
struct ptrait_diff_t { 
    using type = ptrdiff_t;
};

template
struct ptrait_diff_t {
    using type = typename Ptr::difference_type;
};

} // namespace detail

然后：

template
struct pointer_traits
{
    using difference_type = typename detail::ptrait_diff_t::type;
};

的执行is_detected可以在这里找到。