为什么用户定义的字符串文字和整数文字有不同的行为？

Question

我正在学习用户定义的文字，但对以下测试代码感到困惑：

std::chrono::seconds operator"" _s(unsigned long long s) {
    return std::chrono::seconds(s);
}

std::string operator"" _str(const char *s, std::size_t len) {
    return std::string(s, len);
}

int main() {
    auto str = "xxxxx"_str;
    std::cout << str.size() << std::endl;    // works

    auto sec = 4_s;
    std::cout << sec.count() << std::endl;   // works

    std::cout << "xxxxx"_str.size() << std::endl;   // works

    std::cout << 4_s.count() << std::endl;   // does **NOT** work!

    return 0;
}

编译器给出以下错误信息：

错误：没有匹配的文字运算符用于调用具有“unsigned long long”或“const char *”类型的参数的“operator”“_s.count”，并且没有匹配的文字运算符模板
cout

似乎它需要 _s.count 作为用户定义的文字。此外，浮点文字的行为类似于整数文字。

为什么用户定义的整数文字和字符串文字有不同的行为？

Answer 1

这就是 浮点 字面量的工作原理！！

添加一对括号，它应该可以工作：

std::cout << (4_s).count();

或者，将它们分开（以阻止编译器将其解释为格式错误的小数常量浮点文字）：

std::cout << 4_s .count();
//              ^ Space here!

参考：CppReference.com

在上述参考资料的备注部分，

由于最大 munch，用户定义的整数和浮点字面量以 [p, P, (C++17 起)] e 和 E 结尾，后面跟着运算符 @987654329 @ 或-，必须在源中用空格与运算符隔开：

long double operator""_E(long double);
long double operator""_a(long double);
int operator""_p(unsigned long long);

auto x = 1.0_E+2.0;  // error
auto y = 1.0_a+2.0;  // OK
auto z = 1.0_E +2.0; // OK
auto w = 1_p+2;      // error
auto u = 1_p +2;     // OK

所以说到点，作为小数点，它必须和后面的任何东西分开，否则会被当作浮点数的一部分强>。

我已经从 CppReference 测试了上面的示例，并得到了 非常 类似的错误消息：

test.cpp:19:10: error: unable to find numeric literal
operator 'operator""_E+2.0'
                    ^^^^^^
 auto x = 1.0_E+2.0;  // error

知道_E+2.0 是如何被视为一个整体的ud-suffix？

---

我最初的解释尝试可以在这篇文章的revision history 中找到。