使用用户定义的文字成员时编译错误

Question

编译此代码时（没有任何标题）

template <typename T>
struct Temperature {
    T temp;

    explicit Temperature(T t)
        : temp(t)
    {}
};

Temperature<long double> operator "" _f (long double t)
{
    return Temperature<long double>((t - 32) / 1.8);
}

int main()
{
    auto t = 100.0_f;
    t.temp;

    100.0_f.temp; // ERROR AT THIS LINE
    return 0;
}

编译器（Ubuntu 14.04上的g ++ 4.8和clang ++ 3.4）会抱怨

error: unable to find numeric literal operator ‘operator"" _f.temp’
     100.0_f.temp;
     ^

似乎_f.temp被视为后缀。为什么编译器会这样解析它，而不是停在点？

Answer 1

Preprocessing numbers是奇怪的野兽，主要用于使预处理器更易于编写。

pp-number:
    digit
    . digit
    pp-number digit
    pp-number identifier-nondigit
    pp-number ' digit
    pp-number ' nondigit
    pp-number e sign
    pp-number E sign
    pp-number p sign
    pp-number P sign
    pp-number .

12是有效的 pp-number 标记，0xe+foo也是如此（请参阅[lex.pptoken] / 4中的示例），{{1} }}。如果后两个使它超过转换阶段6，则程序格式不正确，因为它在阶段7中无法转换为有效令牌。然而，在此之前，它是有效的，因此最大的munch表示我们解析{{1} }或.12.CA'TS_RULE..56.me+owp-urr作为单个预处理令牌。