代码之家 › 专栏 › 技术社区 › Vlad from Moscow

为浮动常量调用伪析构函数的有效语法

pseudo-destructor c++17 floating-point syntax c++

Vlad from Moscow · 技术社区 · 6 年前

考虑下面的演示程序。

#include <iostream>

int main()
{
    typedef float T;

    0.f.T::~T();
}

本程序由 Microsoft Visual Studio Community 2019 .

但是 clang 和 gcc

prog.cc:7:5: error: unable to find numeric literal operator 'operator""f.T'
    7 |     0.f.T::~T();
      |     ^~~~~

如果把这个表达式写得像 ( 0.f ).T::~T() 然后三个编译器都编译程序。

所以一个问题出现了:这是记录吗 0.f.T::~T() 句法上有效吗?如果不是,那么什么样的语法规则被打破了?

1 回复 | 直到 6 年前

Eric M Schmidt 6 年前

数字标记的解析非常粗糙,允许许多实际上不是有效数字的东西。在C++ 98中,在[1]中找到了一个“预处理数”的语法。lex.pp编号],是

pp-number:
    digit
    . digit
    pp-number digit
    pp-number nondigit
    pp-number e sign
    pp-number E sign
    pp-number .

0.f.T::~T(); 需要标记为 0.f.T :: ~ T ( ) ; 尽管如此 0.f.T 不是有效的数字标记。

因此,代码是不语法上有效。

1201ProgramAlarm 6 年前

用户定义的文字后缀, ud后缀 ,是一个 . 安 标识符

因此,它是一个编译器错误,因为它正在处理非标识符序列 f.T 作为标识符。

这个 0. 分数常数 ,后面可以跟一个可选指数,然后 (对于用户定义的文本)或 浮点后缀 (其中之一 fFlL ). 这个 f 可以认为是同样,但是由于它匹配另一个文本类型,所以应该是that而不是UDL。A ud后缀 在语法中定义为标识符。

推荐文章

Leo · 为什么carg(-0)返回-pi?

1 年前

Fyodor · 在C中使用sin和cos计算数学表达式不正确?

2 年前

Alexander · 为什么数字的输出不同?

2 年前

Wasabi Thumbs · 是否可以按MSB对IEEE754浮点进行排序?

2 年前

Ronny · 如何防止程序返回“inf”?

2 年前

r.e.s. · 在Python中,什么表达式等效于“0x1.0p-53”?

2 年前

EMS · 为什么双重打印的值与C中的浮点值相同,而它们的大小不同?

2 年前

Dakolas · 对python十进制库感到困惑

2 年前

beautiful-life · 显示带scanf和不带scanf的双变量

2 年前

RTC222 · 无法获取vrndscalepd的正确舍入模式代码

2 年前