有没有办法在 C++ 中识别重载 operator[] 的类？

Question

假设我们有一个带有运算符 [] 的类，如下所示

class MyClass
{
//...
public:
    TYPE operator[](const size_t idx) const
    {
        //... Implementation
    }
}

现在我想阅读TYPE并将其用作另一个类的模板参数。人们可能会使用一种技巧

template<class T>
class OtherClass
{
    //...
}

template<class T>
auto generator(const T& element)
{
    return OtherClass<T>(); 
} 

int main(void)
{
    MyClass myclass;
    auto resulted_class = generator(myclass[0]);
    return 0;
}

这应该创建一个OtherClasswith 模板TYPEfromMyClass并将其复制到resulted_class.

现在的问题。是否有可能实现相同但没有对索引值 0 或任何特定索引值的 [] 运算符的通用调用？关键是不能保证 operator [] 是为特定值定义的。TYPE如果可能，我们只需要提取。

换句话说，如果我们使用一个类，就像std::vector<double>我们想double从那个类中提取它一样。但在没有进一步了解的情况下std::vector。我们唯一知道的是其中有 [] 运算符的定义。

Answer 1

是的：

using T = std::decay_t<decltype(myclass[0])>;

decltype不计算内部的表达式。实际上，您不需要实例：

using T = std::decay_t<decltype(std::declval<MyClass>()[0])>;

见std::decay,decltype和std::declval