使操作员特定于超载上下文

Question

我在业余时间正在学习有关C 的知识，并且我正在实现一个超载下注/ []运算符的类。现在，我希望能够将两个或多个参数传递给下标运算符，如下所示(由逗号分隔(：

myObject[i,j,...]，例如，参数可以为 string s或 int s

我发现C 不允许下标操作员接受多个参数。但是，我阅读了有关该线程中逗号运算符的超载，这是对该"问题"的替代解决方案。

在示例中，使用非常特定的签名和两个自定义EnumS对逗号运算符的负载过载，但是我可以看到，对于常规类型对的逗号运算符超载不是一个好主意(这是我的用例(。

我对C 的了解有限，这使我对是否有可能将"范围"或使用逗号运算符超载限制为特定情况或上下文，例如，仅在下标操作员超载中，定义，给我我感兴趣的功能，而不会引起其他地方的干扰。

Answer 1

您不能将常规函数/操作员限制为上下文，但是您可以通过命名空间限制范围。

enum class E {A, B};
struct C
{
    int operator [](const std::pair<E, E>& p) const
    {
        return data[static_cast<int>(p.first) * 2 + static_cast<int>(p.second)];
    }
    std::array<int, 4> data{{1, 2, 3, 4}};
};
namespace comma
{
    std::pair<E, E> operator , (E lhs, E rhs) { return { lhs, rhs }; }
}
int main()
{
    C c;
    {
        using namespace comma; // operator , is valid here.
        std::cout << c[E::A, E::B] << std::endl;
        auto p = (E::A, E::B); // but also here :/ p = {E::A, E::B}
        static_cast<void>(p);
    }
    {
        std::cout << c[E::A, E::B] << std::endl; // result in c[E::B]
        auto p = (E::A, E::B); // p = E::B
        static_cast<void>(p);
    }
}

演示

作为替代方案，您可以使用常规方法，operator ()方法(可以采用多个参数(，使用std::pair/std::tuple作为参数(这需要在呼叫站点上额外包含{}(。

Answer 2

否，不可能仅在特定上下文中超载运算符。您仍然可以根据操作员的类型限制其使用。

Answer 3

超载运算符时，您要指定哪些类型有效与此操作员一起使用。因此，最好使用类定义的类型进行设计是一个好主意。

class YourClass
{
public:
class YourType{};
};
pair<YourClass::YourType, YourClass::YourType> operator , (YourClass::YourType p1, YourClass::YourType p2)
{
    return make_pair(p1, p2);
}

但是，如果您需要某种形式的概括，则可以使用模板和模板专业化。