无符号用户定义整数文字

Question

假设我想定义一个整数文字，它也允许负值，例如-12_km 。

即，我想做

using coord_t = long long;
coord_t operator "" _km(long long int);

但是，这不被我的编译器（gcc）接受。

该标准提到了此类文字运算符的参数列表的允许类型列表，但其中没有带符号的整数类型。

为什么是这样的标准？ 为什么它不允许用户定义的有符号整数文字？

Answer 1

因为语法中没有负整数文字。 让我们把问题的用户定义性质放在一边。 当我们写-12 ，它是文字12 ，它应用了一元- 。 整数文字的语法定义不包含减号。

[lex.icon] （编辑和编辑）

 integer-literal: decimal-literal integer-suffix decimal-literal: nonzero-digit decimal-literal digit nonzero-digit: one of 1 2 3 4 5 6 7 8 9 digit: one of 0 1 2 3 4 5 6 7 8 9

它就在语法中。 没有产生负整数文字的产生式。 这就是为什么用户定义的文字遵循相同的约定。 他们的语法产生式简单地重用了整数文字的产生式

[lex.ext]

 user-defined-literal: user-defined-integer-literal user-defined-integer-literal: decimal-literal ud-suffix

由于否定始终是文字以外的表达式，因此您需要为coord_t重载适当的运算符。 顺便说一下，这同样适用于+12 。 它是应用于12的一元加12 ，而不是本身的文字。

Answer 2

因为 C++ 中没有负整数文字。 -12实际上是应用于正文字12的减号运算符。 这就是为什么

• -9'223'372'036'854'775'808LL 未签名
• 我们必须将INT_MIN定义为-INT_MAX - 1
• -2147483648 > 0和0 < -0x80000000在某些编译器中

所以你需要重载一元减运算符来使用-12_km

coord_t operator "" _km(unsigned long long);
coord_t operator-();