@文字はCソースで使用できますか？

Question

明らかに、コンパイラが@文字に遭遇すると、（コメントまたは文字列リテラルでない限り）構文エラーが発生します。しかし、文字が見つかった場合など。 #if 0ブロック内に、プログラムは技術的に有効ですか？

私はこの試みた：GCCと打ち鳴らすの両方で、-pedantic -Wall -Wextraで

#define NOTHING(x) 

int main() 
{ 
    NOTHING(@@@@); 
    return 0; 
} 

をし、それが何の警告を与えませんでした。私はそれが働くことが保証されているかどうか、あるいは彼らがそれに対して特別な警告をしていないかどうかはわかりません。

標準で何か言い分が見つかりませんでしたが、気になっています。私はこれに基づいて標準のコンパイラがそれを突き止めていることを知るために、ツールをベースにしたくありません。

Answer 1

Cプログラムには、プリプロセッサによって削除または文字列化されているほとんどの文字を含めることができます。 @は有効なプリプロセッサトークンなので、コンパイルの前処理フェーズではエラーとしてフラグが立てられません。

標準では、コンパイラが何かについて警告を出すのを妨げず、コンパイラがこの場合に警告を出す可能性があります。しかし、私はそれが何かを知らないし、私はそれを実装の品質の問題と考えるだろう。

関連標準セクション：

• 前処理トークン § 6.4での定義：「上記のいずれかのことはできません各非空白文字」。したがって、@@@@は、と4つのの前処理トークンであることに注意してください。

• § 6.4/2、重点は加えた：「トークンに変換されるトークンを前処理する各キーワードの語彙形式、識別子、リテラル定数、文字列、またはpunctuatorを持たなければなりません。」 @が「トークンに変換されていない」限り、エラーは発生していません。トークンへの変換は、コンパイルプロセスのフェーズ7で行われます（§ 5.1.1.2/7参照）。それは4