如何修正C++模板以检测类型是否实现operator[]？

问题现象 #

尝试通过C++模板判断类型是否实现operator[]，但无论输入何种类型，has_bracket<T>::value始终返回0，无法正确识别实现了该运算符的类型。

原代码实现 #

检测模板定义 #

#include <iostream>
#include <vector>
using namespace std;

template <typename T, typename U = void>
struct has_bracket
{
    static constexpr int value = 0;
};

template <typename T>
struct has_bracket<T, decltype(T::operator[])>
{
    static constexpr int value = 1;
};

测试代码 #

struct Test 
{
    int operator[](size_t n) { return 0; }
};

struct CTest
{
    int operator[](size_t n) const { return 0; }
};

int main()
{
    cout << has_bracket<int>::value << endl;             // 输出: 0
    cout << has_bracket<double>::value << endl;          // 输出: 0
    cout << has_bracket<Test>::value << endl;            // 输出: 0（不符合预期）
    cout << has_bracket<CTest>::value << endl;           // 输出: 0（不符合预期）
    cout << has_bracket<vector<int>>::value << endl;     // 输出: 0（不符合预期）

    return 0;
}

问题根源 #

1. operator[]的重载歧义：operator[]是带参数的成员函数，直接写T::operator[]无法确定具体的重载版本（不同参数类型、const/非const修饰都会产生不同的重载），编译器无法匹配到特化模板，因此始终使用主模板的value=0。
2. 内置类型的operator[]并非成员函数：int、double等内置类型的数组下标运算符是全局运算符，不是成员函数，T::operator[]本身不合法，这部分逻辑没问题，但自定义类型和容器的成员operator[]因重载歧义导致特化失效。

修复方案 #

使用**SFINAE（替换失败并非错误）**机制，通过检测operator[]的调用表达式是否合法来判断类型是否实现该运算符。可以借助C++17的std::void_t（或手动模拟）简化实现：

修改后的检测模板 #

#include <iostream>
#include <vector>
#include <type_traits> // 用于std::void_t（C++17及以上）
using namespace std;

// 手动模拟void_t（兼容C++11/14）
template<typename...>
using void_t = void;

template <typename T, typename U = void>
struct has_bracket
{
    static constexpr int value = 0;
};

// 特化模板：检测T的对象是否能调用operator[]（非const版本）
template <typename T>
struct has_bracket<T, void_t<decltype(std::declval<T>()[0])>>
{
    static constexpr int value = 1;
};

// 可选：单独检测const版本的operator[]
template <typename T>
struct has_const_bracket
{
    static constexpr int value = 0;
};

template <typename T>
struct has_const_bracket<T, void_t<decltype(std::declval<const T>()[0])>>
{
    static constexpr int value = 1;
};

测试代码与预期输出 #

struct Test 
{
    int operator[](size_t n) { return 0; }
};

struct CTest
{
    int operator[](size_t n) const { return 0; }
};

int main()
{
    cout << has_bracket<int>::value << endl;             // 输出: 0
    cout << has_bracket<double>::value << endl;          // 输出: 0
    cout << has_bracket<Test>::value << endl;            // 输出: 1
    cout << has_bracket<CTest>::value << endl;           // 输出: 0（因为CTest只有const版本）
    cout << has_const_bracket<CTest>::value << endl;     // 输出: 1
    cout << has_bracket<vector<int>>::value << endl;     // 输出: 1

    return 0;
}

修复逻辑说明 #

• std::declval<T>()用于在无需构造对象的情况下生成T类型的右值引用，模拟operator[]的调用场景。
• void_t<decltype(...)>会在内部表达式合法时生成void类型，触发特化模板的匹配；若表达式不合法（比如T没有operator[]），则SFINAE生效，特化模板被忽略，使用主模板的value=0。
• 针对const修饰的operator[]，可以单独定义检测模板，使用std::declval<const T>()来模拟const对象的调用。

内容的提问来源于stack exchange，提问作者Chun-Ye Lu