__LINE__マクロを置き換える

Question

Cppreferenceを使ってマクロについて読んだことがあります。

__LINE__：ソースファイルの行数、整数定数に展開され、Iマクロ__LINE__をテストするためのC++プログラムを作っ#line指令

によって変更することができます。

#include <iostream> 
using namespace std; 

#line 10 
#define L __LINE__ 

int main() 
{ 
    #line 20 
    int i = L; 
    cout<<i<<endl; 
    return 0; 
} 

出力：

20 

上記のコードの出力は20あるのはなぜ？なぜ10でないのですか？

Answer 1

あなたはマクロではない何かにLを変更後、10を印刷する場合：

constexpr int L = __LINE__; 

そうでないマクロLがラインint i = L;に置換してなることでしょう。

int i = __LINE__; 

行番号をもう一度代入して、最後の#line指令を読んでください。

マクロはトークンの置換を実行することを思い出してください。 #define L __LINE__の場合、のトークンはLである必要があります。それはL自身の定義の時点で何かを置き換えるものではありません。

C++ - [cpp.replace]/9又はC - [6.10.3 Macro replacement]/9

形態

# define identifier replacement-list new-line 

の前処理指令は マクロ名の後続の各インスタンスは、の置換リストに置き換えさせるオブジェクトようなマクロを定義しますディレクティブの残りの部分を構成するトークンを前処理する トークン。交換用の リストは、次に指定されたより多くのマクロ名に対して再スキャンされます。に値を変更するプリプロセッサディレクティブの後、マクロが展開され

#line 20 

使用（定義されていない場合）あなたのmain()機能である：

Answer 2

あなた#lineプリプロセッサディレクティブは20に値を変更します20。

Answer 3

#define y 42 
    #define x y 

これは、1トークンyが含まれている前処理トークンのシーケンスとして定義xます。トークンではありません42。

cout << x; 

これは42に、その後yとからxyをexpadます。

#undef y 
#define y "oops" 

xはまだyとして定義されます。

cout << x; 

あなたは何が起こるか推測します。 __LINE__はこの点で特別ではありません。