如何检查类型是由typedef定义还是在模板参数中使用

Question

我想声明一个依赖于模板参数的成员类型：

template< typename T >
struct bc_allocator_traits
{
public:
    using this_type = bc_allocator_traits;
    using allocator_type = T;
    using value_type = typename allocator_type::value_type;
    using pointer_type = typename allocator_type::pointer_type; 
...

在此示例中，pointer_type取决于模板参数（allocator_type）。但是为模板参数定义pointer_type是可选的，如果模板参数不提供此类型，我想使用默认类型，如value_type*。

有没有办法在我的类中实现这个可选的成员类型定义？

Answer 1

这就像void_t的后代。

template<class ...>
using void_t = void;

// workaround for some compilers: 
// template<class...> struct voider { using type = void; }; 
// template<class... Args> using void_t = typename voider<Args...>::type;

template<class T, class = void>
struct pointer_type_or_default { 
    using type = typename T::value_type*;
};

template<class T>
struct pointer_type_or_default<T, void_t<typename T::pointer_type>> { 
    using type = typename T::pointer_type;
};

然后

using pointer_type = typename pointer_type_or_default<allocator_type>::type;

这个想法是部分特化是可行的，并且仅在T::pointer_type有效并且表示类型时使用。

对于未实施CWG 1558解决方案的编译器，需要解决方法。这包括GCC高达4.9.2（当前主干版本正确编译别名模板版本，请参阅PR 63825），显然是MSVC。