将operator "" (...) 定义为友元函数是否可行和/或有用？
class Puzzle {
friend Puzzle operator "" _puzzle(const char*, size_t);
...
};
void solve(Puzzle);
int main() {
solve("oxo,xox"_puzzle);
};
我正在考虑“有用”，特别是因为operator "" 只能在命名空间中定义的规则——尤其是因为以_ 开头的标识符被保留在全局命名空间中。这是friend 在这里打破这条规则吗？所以，这种不完全的封装不会有任何好处，对吧？
【问题讨论】：
标签： c++ c++11 friend-function user-defined-literals
标准在唯一提到对用户定义文字声明的任何限制的地方直接解决了这个问题，第 13.5.8/2 节：
declarator-id 为 literal-operator-id 的声明应是命名空间范围函数或函数模板的声明（它可以是友元函数 (11.3)），显式函数模板的实例化或特化，或使用声明 (7.3.3)。
如果朋友也在命名空间范围内声明，那么在类或命名空间范围内的定义没有区别。请注意，在命名空间范围内没有定义要求，您的问题当前措辞断言。
如果未在命名空间范围内声明，由于 ADL 无法找到它，因此可以通过常规非限定名称查找在其所在范围内的类中私下使用友元。这是声明不是外部接口的文字运算符的唯一方法。
如果友元是在类模板中定义的，那么模板的两个实例化将在命名空间范围内生成两个同名函数，即使它们在类范围之外都是不可见的，它们也会发生冲突。
【讨论】：
如果它对语法有帮助，下面是我如何在类中声明朋友用户定义的文字运算符，其中运算符本身位于命名空间中：
class Integer;
namespace literals {
Integer operator "" _I (const char *);
}
// Infinite precision integer
class Integer {
public:
// Basic constructor & destructor
Integer ();
~Integer ();
... rest of the interface ...
// Literal operator
friend Integer literals::operator "" _I (const char *);
private:
struct Detail;
std::unique_ptr<Detail> detail;
};
用户仅在需要时才使用using namespace literals; 语句引入运算符。 （实际上，所有这些都在父命名空间中，但你明白了）。
【讨论】：
按照标准，是的，朋友声明应该是合法的。 顺便说一句，这个名字对于用户代码来说很好，因为它以一个下划线开头，即使在全局命名空间中也是如此。
friend 声明将允许操作员访问类私有数据。
我开始质疑友元文字运算符的用处。因为用户定义的运算符只能有几个参数列表，所以无法将类放在参数中。所以现在有一种方法可以让参数相关的查找找到正确的函数。我说的对吗？
【讨论】：
const char* 参数或任何您定义的运算符。但无论如何，我也怀疑它的用处：好的，您可以访问私有数据，但无论如何您都需要调用构造函数。顺便说一句：johannes（其他回答 cmets）指出，名称不是_puzzle，而是operator "" _puzzle，因此不会以下划线开头。