質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

87.59%

iostreamのコードが理解できない

解決済

回答 2

投稿

  • 評価
  • クリップ 3
  • VIEW 1,288

score 29

現在libcxxのリーディングにチャレンジしているのですが
iostreamのcinの定義部分はどこにあるのでしょうか?

/* iostream */
extern __attribute__ ((__visibility__("default"))) istream cin

iostream.cppにはcinがあるのですが型がcharなので違うような気がします。
実際に似たようなコードを作成してみましたがコンパイルできなかったです。
そもそも型が違う同名の変数がある時点でコンパイルエラーになるはずなのになぜならないのでしょうか?

/* iostream.cpp */
alignas(istream) __attribute__ ((__visibility__("default"))) char cin[sizeof(istream)]

あと少し内容からはずれてしまうのですがなぜiostreamは.h.hpp.cpp.ccのような拡張子がないのにコンパイルできるのでしょうか?

たくさん質問してしまいましたがよろしくお願いたします。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • asm

    2019/11/06 21:48

    やってる事は配置newによる初期化タイミングの制御?だってのは分かるんだが
    externによるchar→std::istreamの読み替えが合法なのかが判断つかない・・・

    キャンセル

回答 2

checkベストアンサー

+4

iostreamのcinの定義部分はどこにあるのでしょうか?
iostream.cppにはcinがあるのですが型がcharなので違うような気がします。

質問本文にて言及されている通り、iostream.cppにて実体が定義されます。

_ALIGNAS_TYPE(istream) _LIBCPP_FUNC_VIS char cin[sizeof(istream)]

宣言時std::istreamと定義時char[]のように型が異なってますが、これはC++標準ライブラリが要求する動作(C++17 [iostream.objects.overview]/3)を実現するためのHACKの一種と思います。

実際に似たようなコードを作成してみましたがコンパイルできなかったです。
そもそも型が違う同名の変数がある時点でコンパイルエラーになるはずなのになぜならないのでしょうか?

C++言語仕様(C++17 [basic.link]/10)を解釈する限り、コンパイル単位をまたぐ宣言/定義の型は一致させる必要があります。厳格にはlibcxx実装はC++仕様違反となりますが、libcxx自身は「C++標準ライブラリ」つまりコンパイラやリンカとともにC++言語処理系の一部ですから、たとえ言語仕様に反していてもこの組み合わせで動作するという保証の仕方だと思います。

同様のHACKは libstdc++-v3 標準ライブラリでも同じように行われています。

なおC++仕様上は "A violation of this rule on type identity does not require a diagnostic." とあるため、本件に違反しても診断メッセージ(diagnostic)≒コンパイルエラーやリンク時エラーの報告義務はありません。


なぜiostreamは.h.hpp.cpp.ccのような拡張子がないのにコンパイルできるのでしょうか?

iostreamファイルそれ単体では "コンパイル" されません。宣言のみを含むヘッダファイルとして、他のコンパイル対象ファイルから#incldueされるだけです。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/11/08 23:20

    勉強になりました!

    キャンセル

0

次の 2つのファイルを g++ a.cpp b.cpp でコンパイルしてみてください。

a.cpp

#include <iostream>

struct IO { int x, y; };
extern IO io;

int main()
{
    std::cout << io.x << ", " << io.y << std::endl;
}


b.cpp

struct IO { int x, y; };
char io[sizeof(IO)] = { 3, 0, 0, 0, 5, 0, 0, 0 };


リンク出来て実行できますよね。
リンクは名前だけで行われ、名前には型情報はないということでしょう。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/11/08 00:18

    ご回答ありがとうございます。
    なるほど。自分が作成したコードはインクルードしていたためエラーとなっておりました。

    cinの初期化をistream cin;とせずplacement newを使用するのはistreamコンストラクタの呼び出しを必要になったタイミングで行うためなのでしょうか?

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 87.59%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る