c++ - 如何检测 operator[] 是否适用于 Type？

Question

我想写这样的函数模板

template< typename T >
void foo( T& obj ){
    obj[0] = xxxxxx;
}

其中 T 必须有 operator[] 适用。
T 可以是任何类型的数组、std::vector、std::array 或任何其他类型。所以，我不能使用 T 作为所有这些的父类(super class)。我认为它应该类似于 std::type_traits 中的内容风格。

Answer 1

template<class T>
using LvalueIndexable = decltype(std::declval<T&>()[1]);

template<class T, class U = void>
using RequiresLvalueIndexable 
    = typename std::enable_if<std::experimental::is_detected<LvalueIndexable, T>{},
                              U>::type;

template< typename T, typename = RequiresLvalueIndexable<T> >
void foo( T& obj ){
    obj[0] = xxxxxx;
}

参见 cppreference page如何实现 std::experimental::is_detected。