このコードは有効ですか？互換性の理由から

Question

は、私はこのように動作しますイテレータのマクロを定義したい：

elem_type *ptr; 
ITERATE(&container, ptr) { 
    // This will loop through every element of the container 
    // ptr will point to the current element. 
} 

私は関数呼び出しで初期化する必要がありますイテレータ型を持っており、このように動作します：

iter_type iter; 
iter_init(&container, &iter); 
while((ptr = iter_next(&iter))) { 
    // ... 
} 

だから、これは私がマクロにこのシーケンスを圧迫する思い付いたソリューションです：あなたが見ることができるよう、

#define ITERATE(container_ptr,elem_ptr) \ 
    for(iter_type _iter = (\ 
     iter_init(container_ptr, &_iter), _iter); \ 
     (elem_ptr = iter_next(&_iterator));) 

そうで、ちょっとしたトリックワットがありますコンマ演算子を使用して、forの最初のコロンに変数宣言と関数呼び出しの初期化の両方を適合させます。このコードは有効なC99ですか、常に動作しますか？

Answer 1

はい、有効です。いつも動作します。

ちょうどあなたのforループ、

for(iter_type _iter = (iter_init(container_ptr, &_iter), _iter); \ 
     (elem_ptr = iter_next(&_iterator));) 

、具体的に初期化句iter_type _iter = (iter_init(container_ptr, &_iter), _iter)を取って、あなたはコンマ演算子がここに関与していることがわかります。

カンマ演算子は常に左から右に評価され、各オペランドの間にシーケンスがあります。