标准库类型和内置类型允许重载运算符+吗?

是否允许在不存在这样的重载操作符时重载运算符,如operator+用于标准库类型和内置类型的组合?

例如,在默认命名空间或自定义命名空间中实现以下运算符是否合法:

std::string operator+(const std::string& s, int right) { ... }

我知道std::命名空间中的实现有各种限制,但我不清楚是否有针对上述限制的规则(这是否是个好主意当然完全是另一回事!)。


解决方案

例如,在默认命名空间或自定义命名空间中实现以下运算符是否合法:

std::string operator+(const std::string& s, int right) { ... }

是的,这样做是完全合法的。唯一的限制是向namespace std添加名称,或专门化成员函数模板或类模板,或在std中添加类模板的演绎指南。

没有什么可以阻止您编写类似以下内容的内容:

namespace N {
    std::string operator+(std::string s, int ) { return s; }
}

根据标准,这是一个格式良好的程序。但是请注意,由于根据定义,运算符中没有任何程序定义的类型,因此ADL永远也找不到它们。由于它们是运算符,通常由ADL找到,因此这本身可能是避免这种模式的原因:

namespace U {
    auto foo() {
        return "hello"s + 1; // error: name lookup doesn't find our operator
    }

    auto bar() {
        using namespace N;
        return "hello"s + 1; // ok: for some definition of ok
    }
}

相关文章