Skip to main content
本文から 5 文字削除
ソース リンク
udaken
  • 713
  • 3
  • 12

名前の無い構造体は外部リンケージを持たない。
そのため翻訳単位が異なると別の実体と見なされる。

英語版の回答より:
c++ - Why does an unnamed struct inline variable not have the same address in every translation unit? - Stack Overflow

インライン指定子をちょっとだけ無視してみましょう。インライン指定子がなかったと想像してみよう。あなたのコードはまだ同じ結果を生むだろう。その理由は、クラス型自体のリンケージにある。

[basic.link]

8. ある型がリンケージを持つとされるのは、以下の場合のみです。

  • 名前が付けられている(またはリンケージ目的の名前([dcl.typedef])がある)クラスまたは列挙型で、その名前にリンケージがある場合。
  • リンケージを持つクラスのメンバである無名クラスまたは無名列挙型である場合、または
  • クラステンプレート(条項 [temp])35の特殊化である。
  • 基本型である。
  • リンケージを持つ型のみから構成される,クラスや列挙以外の複合型である.
  • リンケージを持つ型のcv-qualified修飾バージョンである。

連結リンケージを持たない型は,次の場合を除いて,外部連結を持つ変数又は関数の型として使用してはならない。

  • 実体がC言語のリンケージを持つ場合。
  • 実体が無名名前空間内で宣言されている場合、または
  • 実体がodr-usedでない、または同じ翻訳単位で定義されている場合。

[注:言い換えれば、リンケージのない型は、その翻訳単位の外側で名前を付けられないクラスまたは列挙を含む。このような型を使用して宣言された外部リンケージを持つ実体は、プログラムの他の翻訳単位の他の実体に対応することができないので、odr-usedであれば翻訳ユニットで定義されなければならない。また、リンケージをもつクラスは、リンケージをもたない型をもつメンバを含むことができ、型がリンケージをもつかどうかの判断には、typedef名は無視されることに注意すること。]

ご覧の通り、使用するクラス型にはリンクがありません。つまり、引用したパラグラフでは、(外部リンクのある)変数をodr-useしているので、コードが適格であるためには、それが使われるのと同じ翻訳単位で定義されなければならないのです。つまり、そのヘッダーを含む異なる翻訳単位で異なる定義がなされることになります。

結局のところ、インライン指定があってもなくても、これらの定義が同じオブジェクトのものであることはありえません。そのため、最終的には異なるアドレスが表示されることになります。

名前の無い構造体は外部リンケージを持たない。
そのため翻訳単位が異なると別の実体と見なされる。

英語版の回答より:
c++ - Why does an unnamed struct inline variable not have the same address in every translation unit? - Stack Overflow

インライン指定子をちょっとだけ無視してみましょう。インライン指定子がなかったと想像してみよう。あなたのコードはまだ同じ結果を生むだろう。その理由は、クラス型自体のリンケージにある。

[basic.link]

8. ある型がリンケージを持つとされるのは、以下の場合のみです。

  • 名前が付けられている(またはリンケージ目的の名前([dcl.typedef])がある)クラスまたは列挙型で、その名前にリンケージがある場合。
  • リンケージを持つクラスのメンバである無名クラスまたは無名列挙型である場合、または
  • クラステンプレート(条項 [temp])35の特殊化である。
  • 基本型である。
  • リンケージを持つ型のみから構成される,クラスや列挙以外の複合型である.
  • リンケージを持つ型のcv-qualifiedバージョンである。

連結を持たない型は,次の場合を除いて,外部連結を持つ変数又は関数の型として使用してはならない。

  • 実体がC言語のリンケージを持つ場合。
  • 実体が無名名前空間内で宣言されている場合、または
  • 実体がodr-usedでない、または同じ翻訳単位で定義されている場合。

[注:言い換えれば、リンケージのない型は、その翻訳単位の外側で名前を付けられないクラスまたは列挙を含む。このような型を使用して宣言された外部リンケージを持つ実体は、プログラムの他の翻訳単位の他の実体に対応することができないので、odr-usedであれば翻訳ユニットで定義されなければならない。また、リンケージをもつクラスは、リンケージをもたない型をもつメンバを含むことができ、型がリンケージをもつかどうかの判断には、typedef名は無視されることに注意すること。]

ご覧の通り、使用するクラス型にはリンクがありません。つまり、引用したパラグラフでは、(外部リンクのある)変数をodr-useしているので、コードが適格であるためには、それが使われるのと同じ翻訳単位で定義されなければならないのです。つまり、そのヘッダーを含む異なる翻訳単位で異なる定義がなされることになります。

結局のところ、インライン指定があってもなくても、これらの定義が同じオブジェクトのものであることはありえません。そのため、最終的には異なるアドレスが表示されることになります。

名前の無い構造体は外部リンケージを持たない。
そのため翻訳単位が異なると別の実体と見なされる。

英語版の回答より:
c++ - Why does an unnamed struct inline variable not have the same address in every translation unit? - Stack Overflow

インライン指定子をちょっとだけ無視してみましょう。インライン指定子がなかったと想像してみよう。あなたのコードはまだ同じ結果を生むだろう。その理由は、クラス型自体のリンケージにある。

[basic.link]

8. ある型がリンケージを持つとされるのは、以下の場合のみです。

  • 名前が付けられている(またはリンケージ目的の名前([dcl.typedef])がある)クラスまたは列挙型で、その名前にリンケージがある場合。
  • リンケージを持つクラスのメンバである無名クラスまたは無名列挙型である場合、または
  • クラステンプレート(条項 [temp])35の特殊化である。
  • 基本型である。
  • リンケージを持つ型のみから構成される,クラスや列挙以外の複合型である.
  • リンケージを持つ型のcv修飾バージョンである。

リンケージを持たない型は,次の場合を除いて,外部連結を持つ変数又は関数の型として使用してはならない。

  • 実体がC言語のリンケージを持つ場合。
  • 実体が無名名前空間内で宣言されている場合、または
  • 実体がodr-usedでない、または同じ翻訳単位で定義されている場合。

[注:言い換えれば、リンケージのない型は、その翻訳単位の外側で名前を付けられないクラスまたは列挙を含む。このような型を使用して宣言された外部リンケージを持つ実体は、プログラムの他の翻訳単位の他の実体に対応することができないので、odr-usedであれば翻訳ユニットで定義されなければならない。また、リンケージをもつクラスは、リンケージをもたない型をもつメンバを含むことができ、型がリンケージをもつかどうかの判断には、typedef名は無視されることに注意すること。]

ご覧の通り、使用するクラス型にはリンクがありません。つまり、引用したパラグラフでは、(外部リンクのある)変数をodr-useしているので、コードが適格であるためには、それが使われるのと同じ翻訳単位で定義されなければならないのです。つまり、そのヘッダーを含む異なる翻訳単位で異なる定義がなされることになります。

結局のところ、インライン指定があってもなくても、これらの定義が同じオブジェクトのものであることはありえません。そのため、最終的には異なるアドレスが表示されることになります。

ソース リンク
udaken
  • 713
  • 3
  • 12

名前の無い構造体は外部リンケージを持たない。
そのため翻訳単位が異なると別の実体と見なされる。

英語版の回答より:
c++ - Why does an unnamed struct inline variable not have the same address in every translation unit? - Stack Overflow

インライン指定子をちょっとだけ無視してみましょう。インライン指定子がなかったと想像してみよう。あなたのコードはまだ同じ結果を生むだろう。その理由は、クラス型自体のリンケージにある。

[basic.link]

8. ある型がリンケージを持つとされるのは、以下の場合のみです。

  • 名前が付けられている(またはリンケージ目的の名前([dcl.typedef])がある)クラスまたは列挙型で、その名前にリンケージがある場合。
  • リンケージを持つクラスのメンバである無名クラスまたは無名列挙型である場合、または
  • クラステンプレート(条項 [temp])35の特殊化である。
  • 基本型である。
  • リンケージを持つ型のみから構成される,クラスや列挙以外の複合型である.
  • リンケージを持つ型のcv-qualifiedバージョンである。

連結を持たない型は,次の場合を除いて,外部連結を持つ変数又は関数の型として使用してはならない。

  • 実体がC言語のリンケージを持つ場合。
  • 実体が無名名前空間内で宣言されている場合、または
  • 実体がodr-usedでない、または同じ翻訳単位で定義されている場合。

[注:言い換えれば、リンケージのない型は、その翻訳単位の外側で名前を付けられないクラスまたは列挙を含む。このような型を使用して宣言された外部リンケージを持つ実体は、プログラムの他の翻訳単位の他の実体に対応することができないので、odr-usedであれば翻訳ユニットで定義されなければならない。また、リンケージをもつクラスは、リンケージをもたない型をもつメンバを含むことができ、型がリンケージをもつかどうかの判断には、typedef名は無視されることに注意すること。]

ご覧の通り、使用するクラス型にはリンクがありません。つまり、引用したパラグラフでは、(外部リンクのある)変数をodr-useしているので、コードが適格であるためには、それが使われるのと同じ翻訳単位で定義されなければならないのです。つまり、そのヘッダーを含む異なる翻訳単位で異なる定義がなされることになります。

結局のところ、インライン指定があってもなくても、これらの定義が同じオブジェクトのものであることはありえません。そのため、最終的には異なるアドレスが表示されることになります。