文字列化によってある場合には「foo」が生成され、別の場合には「4」が生成されるのはなぜですか?

文字列化の解明: 段階的な説明

文字列化は、指定されたトークンを文字列リテラルに変換する強力なマクロ手法です。その複雑さを理解するために、次のシナリオを調べてみましょう:

define foo 4

define str(s) #s

str(foo) の場合、期待される出力は " foo" は、テキスト展開の前に文字列化が行われると考えられているためです。ただし、2 番目の例では:

define xstr(s) str(s)

define str(s) #s

define foo 4

xstr(foo) の出力は「4」になります。この矛盾を解明するために、マクロ展開に関係する特定の手順を詳しく調べます:

1. 前処理ディレクティブ: # または ## で始まるマクロが最初に処理されます。
2. 引数の置換: マクロ内の引数は、対応する引数に置き換えられます。
3. パラメータの置換: パラメータはそれぞれの引数の値に置き換えられます。
4. マクロの再スキャン: 結果のテキストが追加のマクロについて再スキャンされます。 .

これらの手順を適用するxstr(foo):

1. str(s) に # または ## が含まれていないため、何も起こりません。
2. foo は 4 に置き換えられ、xstr(4) になります。
3. str(s) 内で、s は 4 に置き換えられ、次のものが生成されます。 str(4).
4. str(4) が再スキャンされ、最終出力 "4."

が生成されます。次に、str(foo):

引数 foo は foo のままです (4 に置換されません)。
1. 置換テキスト、 #s は "foo" を生成します。

問題の核心は実行順序にあります。ステップ 1 で、str(foo) が評価されるとき、foo はまだ 4 に置き換えられていません。したがって、文字列化ステップの結果は「foo」になります。

したがって、xstr のようなヘルパー マクロを使用すると、次のことが可能になります。ステップ 2 と 1 を別々に実行し、最終的に目的の文字列化動作を提供します。

以上が文字列化によってある場合には「foo」が生成され、別の場合には「4」が生成されるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。