パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

C における一時オブジェクトの生存期間」記事へのコメント

  • by Anonymous Coward

    私なりにこの問題点を説明させていただきます。間違っていたらごめんなさい。結論から言うとメモリ領域を本来の意味から逸脱した状態で使っている瞬間があるからだと考えています。

    スタックは下に向かって伸びていくとしますので、スタックポインタより上が使用中、下が未使用と考えてください。

    1.addressee()に入った時にresultはスタック上に確保され初期化される。

    +--------------+
    |return address|←addressee()を呼び出した場所への戻り
    +--------------+
    |<-result      |
    |  a[world\0]  |
    +--------------+←スタックポインタ

    2.addressee()で使った領域を破棄し呼び出し元に戻る。

    • 間違いだと思います。
      addressee を内部的に次のような形に変形し、
          void addressee(struct X *r) {
                struct X result = { "world" };
                *r = result;
          }
      呼び出し側が代入先オブジェクトへのポインタをこっそり渡せば
      きちんとスタック内で完結するコードを生成可能だからです。
      実際 cygwin の gcc (GCC) 4.3.4 20090804 (release) 1 はそのようなコードを生成しました。

      問題は呼び出し側がどう一時変数を用意するかという点にあります。
      例えば次のような関数呼び出しがあったとき、
          void foo(void)
          {
              printf("%s%s", addressee().a, addressee().a);
          }

      gcc拡張の書き方になりますが、次のような形に変換されるかもしれませんし、
          void foo(void)
          {
              /* gcc では ({ 文* }) という書き方で 文を式に変換できます。
                    式の値は内部の最後の式の値です。*/
              printf("%s%s",
                            ({ struct X tmp1; addressee(&tmp1); tmp1.a; }),
                            ({ struct X tmp2; addressee(&tmp2); tmp2.a; }));
          }

      次のように変換されるかもしれません。
          void foo(void)
          {
                struct X tmp1;
                struct X tmp2;
                addressee(&tmp1);
                addressee(&tmp2);
                printf("%s%s", tmp1.a, tmp2.a);
          }

      前者のやり方では printf が呼び出される前に一時変数の寿命が尽きますが、
      後者のやり方ではfoo()の終わりまで一時変数は生きています。
      Cコンパイラはどちらの変換を行ってもかまいません(未定義ですから)。

      適合コードに関しては
          struct X my_x = addressee();

          struct X my_x;
          addressee(&my_x);
      と変換するようなCコンパイラなら割り込みが入っても問題なく実行できます。
      親コメント
      • プログラムを変えちゃったら言語仕様の話にも、コンパイラの実装方法の話にも、根本原因の話にもならないじゃないですか。

        たぶん現行仕様での対応方法は皆判っていて、その上で自動変数の扱いをどの様に拡張したらC++の様に使えて、この様な使い方が誤りでなくなるのかと言う悩みだと思います。

        • いえ、不具合の修正方法の話でも言語仕様の拡張の話でもなく
          「元AC(#1972743)で述べられているスタック操作がおかしい」
          という話をしたつもりでした。
          つまりコンパイラの実装方法の話です。

          「スタックポインタの下は揮発性」という環境下で
          「addressee がスタックポインタの下を指すポインタを返す」というコードを吐くコンパイラは
          間違ってるのではないかと思います。
          親コメント

ナニゲにアレゲなのは、ナニゲなアレゲ -- アレゲ研究家

処理中...