C++0x，带有友元运算符“”()的用户定义文字

发布于 2024-12-03 11:17:36 字数 386 浏览 4 评论 0原文

将运算符“”(...)定义为友元函数是否可能和/或有用？

class Puzzle {
  friend Puzzle operator "" _puzzle(const char*, size_t);
  ...
};
void solve(Puzzle);
int main() {
  solve("oxo,xox"_puzzle);
};

我特别考虑“有用”，因为规则规定operator "" 只能在命名空间中定义——尤其是因为以_ 开头的标识符在全局命名空间中保留。这位朋友在这里违反了这条规则吗？那么，这种不完全封装不会有任何好处，对吗？

原文

Will it be possible and/or useful to define an operator "" (...) as a friend function?

class Puzzle {
  friend Puzzle operator "" _puzzle(const char*, size_t);
  ...
};
void solve(Puzzle);
int main() {
  solve("oxo,xox"_puzzle);
};

I am thinking about "useful" especially, because of the rule that operator "" shall be defined in a namespace only -- not the least because identifiers beginning with _ are reserved in global namespace. Is this friend breaking this rule here? So, there would be no benefit with this not-quite encapsulation, right?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

时光与爱终年不遇 2024-12-10 11:17:36

该标准在唯一提到对用户定义文字声明的任何限制的地方直接解决了这个问题，第 13.5.8/2 节：

其 declarator-id 为文字运算符 id 的声明应为名称空间范围函数或函数模板的声明（它可以是友元函数 (11.3)）、显式函数模板的实例化或专门化，或 using 声明 (7.3.3)。

如果友元也在命名空间范围内声明，则类或命名空间范围中的定义之间没有区别。请注意，不需要在命名空间范围内进行定义，您的问题目前的措辞是断言的。

如果未在名称空间范围内声明，则由于 ADL 无法找到它，因此友元可以通过常规非限定名称查找在其范围内的类中私有使用。这是声明非外部接口的文字运算符的唯一方法。

如果友元是在类模板内定义的，则模板的两个实例化将在命名空间范围内生成两个同名的函数，即使它们在类范围之外都是不可见的，但它们会发生冲突。

回复收藏 0 原文

许你一世情深 2024-12-10 11:17:36

如果它对语法有帮助，下面是我在类中声明朋友用户定义的文字运算符的方法，其中运算符本身位于命名空间中：

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 Lites; 引入运算符仅当他们想要时才声明。（实际上，所有这些都在父名称空间中，但您明白了）。

In case it helps with syntax, here is how I declare a friend user-defined literal operator in a class, where the operator itself is in a namespace:

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;

};

Users pull in the operator with a using namespace literals; statement only if they want it. (And, actually, all of this is in a parent namespace, but you get the idea).

回复收藏 0 原文