使用 SFINAE 和 void_t 来确定容器内的元素类型

Question

在下面的代码中，我试图通过检查容器 C 是否具有成员value_type来确定容器内元素的类型。如果为 true，我将类型设置为"value_type"。但是，即使类型没有成员value_type并且不是容器，在传递时，编译器似乎也会将HasMemberT_value_type的第二个参数设置为 True，即使它给出了错误。

template<typename...>
using void_t = void;
template<typename T, typename = void_t<>>
struct HasMemberT_value_type : std::false_type
{
};
template<typename T>
struct HasMemberT_value_type<T, void_t<typename T::value_type>> : std::true_type
{
};
template<typename T, bool = HasMemberT_value_type<T>::value>
struct ElementTypeT
{
using Type = typename T::value_type;
};
template<typename T>
struct ElementTypeT<T, false>
{
};
template<typename T>
using ElementType = typename ElementTypeT<T>::Type;
template<typename T>
void printType(T const& c)
{
std::cout << "Container of " << typeid(ElementType<T>).name() << " elements.n";
}
int main()
{                                           
std::array<char, 5> arr;
char classic[] = {'a', 'b', 'c', 'd'};
//GNU Compiler:
printType<arr>();                       //Container of c elements.
printType<classic>();                   //ERROR : "In instantiation of ‘struct ElementTypeT<char [4], true>’: ... error: ‘char [4]’ is not a
//         class, struct, or union type
//         using Type = typename T::value_type;"
}

In instantiation of ‘struct ElementTypeT<char [4], true>

为什么设置为 true？？

谢谢。

Answer 1

printType<arr>()和printType<classic>()无法编译。它应该是printType(arr)和printType(classic).

另一个问题是ElementTypeT<T, true>有一个Type成员，但ElementTypeT<T, false>没有。因此，当您执行using ElementType = typename ElementTypeT<T>::Type并在执行printType(classic)时访问它时，它将失败。

要解决此问题，请修改专用化，以便可以推断数组：

template<typename T, std::size_t I>
struct ElementTypeT<T[I], false>
{
using Type=T;
};

不知道为什么ElementTypeT<char [4], true>在你的代码中是标准化的。当我运行它时，它对我来说false。

以下是使用函数重载和 SFINAE 执行此操作的更简单方法：

template<class T>
typename std::decay_t<T>::value_type get_value_type( T&& );
template<class R, std::size_t I>
R get_value_type( R(&)[I] );
template<class T>
void printType(T const& c) {
std::cout << "Container of " << typeid(get_value_type(c)).name() << " elements.n";
}