ローカルスコープからの戻り値？

Question

私たちのコードベースでこのようないくつかのコードにぶつかって...私は心配しました。

int foo(int a); // Forward declaration. 

int baz() { 
    int result = { 
     int a = dosomestuff(); 
     foo(a); 
    } ? 0 : -1; 
    return result; 
} 

1. 明確に定義されたこのコードの動作ですか？
2. foo(a)の戻り値に応じて、result変数に0または-1がロードされるのは本当ですか？関心を

---

：コードは、もともとそのように書かれていなかった - しかし、それは私がそれだから、この無実に見えるマクロが

int foo(int a); // Forward declaration. 

#define BAR() { int a = dosomestuff(); foo(a); } 

int baz() { 
    int result = BAR() ? 0 : -1; 
    return result; 
} 

Answer 1

これは、CへのGCCの拡張機能であるが、「ステートメント式」と呼ばれる：http://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html

重要なのは、文の表現が、それは、式の値として行い、最後のものを返すということです。

複合文の最後のものは、式の後にセミコロンを続ける必要があります。この部分式の値は構造全体の値として機能します。

この例では、foo(a)が返されます。

ただし、構文を受け入れるには、GCCのブロックを括弧で囲む必要があります。

int foo(); // Forward declaration. 

int baz() { 
    int result = ({ 
     int a = dosomestuff(); 
     foo(a); 
    }) ? 0 : -1; 
    return result; 
} 

私はこれをサポートする他のコンパイラには気づきません。

Answer 2

...に展開されます想像するものです非ポインタ単純型の場合、正確な値が返され、戻り動作が定義されます。そのブロックは...本当に奇妙なことですが、私はCコンパイラがそこに詰まることはないと思っています。

Answer 3

これを受け入れる単一のコンパイラについてはわかりません。さらに、これをやる方が良いでしょう。

Answer 4

コンパイラのドキュメントを参照する必要があります。この構造体は、標準Cまたは標準C++では使用できません。

しかし、これをクリーンアップするのは簡単です（例：

int baz() 
{ 
    int result; 
    { 
     int a = dosomestuff(); 
     result = foo(a)? 0: -1; 
    } 
    return result; 
} 

Answer 5

標準のC++ではありません。標準C++で

、それだ

bool baz() { return !foo(dosomestuff()); } 

を書きます。

Answer 6

C++ 11あなたはかなり近い取得することができ付：

int foo(int a); // Forward declaration. 

int baz() { 
    int result = []{ 
     int a = dosomestuff(); 
     return foo(a); 
    }() ? 0 : -1; 
    return result; 
}