Ist dieser Code gültig?

Question

Aus Kompatibilitätsgründen möchte ich einen Iterator Makro definieren, die wie folgt funktioniert:

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

ich eine Iteratortyp haben, die mit einem Funktionsaufruf initialisiert werden muss, und funktioniert wie folgt:

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

Also, das ist die Lösung, die ich diese Sequenz in das Makro zu drücken kam:

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

so, wie Sie sehen können, gibt es einen kleinen Trick w Mit dem Komma-Operator, um sowohl eine Variablendeklaration als auch die Initialisierung des Funktionsaufrufs im ersten Doppelpunkt der for anzupassen. Ist dieser Code C99 gültig und wird immer funktionieren?

Answer 1

Ja, es ist gültig und wird immer funktionieren.

nehmen Sie Ihre for-Schleife,

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

und speziell die Initialisierung Klauseliter_type _iter = (iter_init(container_ptr, &_iter), _iter), können Sie die Komma-Operator hier beteiligt sehen, dass.

Der Komma-Operator wird immer von links nach rechts ausgewertet, und es gibt eine Sequenz zwischen jedem seiner Operanden.