부동 상수에 대한 의사 소멸자를 호출하는 유효한 구문

다음과 같은 실증 프로그램을 고려하십시오.

#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()구문 적으로 유효합니까? 그렇지 않다면 어떤 구문 규칙이 깨졌습니까?

숫자 형 토큰의 구문 분석은 매우 조잡하며 실제로 유효하지 않은 많은 것들을 허용합니다. C ++ 98에서 [lex.ppnumber]에있는 "전처리 번호"의 문법은 다음과 같습니다.

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

여기서, "비 숫자"는 숫자 이외의 식별자에 사용될 수있는 문자이며 "기호"는 + 또는-입니다. 이후 표준은 작은 따옴표 (C ++ 14) 및 p-, p +, P-, P + (C ++ 17) 형식의 시퀀스를 허용하도록 정의를 확장합니다.

결론은 모든 버전의 표준에서 사전 처리 번호는 숫자 또는 마침표 뒤에 숫자로 시작해야하며 그 후에 임의의 숫자, 문자 및 마침표가 뒤따를 수 있다는 것입니다. 최대 뭉크의 규칙을 사용하여, 그는 다음 0.f.T::~T();과 같이 토큰 화 될 필요가있다 0.f.T :: ~ T ( ) ;하더라도, 0.f.T유효한 수치 토큰이 아닙니다.

따라서 코드는 구문 상 유효 하지 않습니다.

사용자 정의 리터럴 접미사 ud-suffix 는 identifier 입니다. 식별자는 숫자로 시작하지 않는 (일부 비 ASCII 문자 포함) 문자, 밑줄, 숫자의 순서입니다. 마침표 문자는 포함되지 않습니다.

따라서 비 식별자 시퀀스 f.T를 식별자로 취급하므로 컴파일러 버그 입니다.

는 0.A는 소수점 상수 중 다음, 선택 지수하여 다음 할 수 UD 접미사 또는 (사용자 정의에 대한 리터) 부동 소수점 접미사 (중 하나 fFlL). 또한 ud-suffx 로 f간주 될 수 있지만 다른 리터럴 유형과 일치하므로 UDL이 아닌 해당 유형이어야합니다. UD-접미사 식별자로서 문법 정의된다.