Le code de la quatrième édition « Le langage de programmation C » présente-t-il un comportement bien défini ?

Le code de la 4e édition de « Le langage de programmation C » a-t-il un comportement bien défini ?

Le code en question présente un comportement non spécifié, malgré ne pas invoquer un comportement indéfini. Cela est dû à un ordre non spécifié d'évaluation des sous-expressions, notamment en ce qui concerne les appels à s.replace().

Principe d'évaluation de sous-expression non spécifié

Fonction les arguments ont un ordre d'évaluation non spécifié, ce qui signifie que l'ordre d'évaluation des arguments de fonction individuels ne peut pas être supposé. Dans ce cas, il n'est pas garanti que les arguments de s.find() soient évalués avant ou après s.replace().

Impacts de l'ordre d'évaluation

En fonction de l'ordre d'évaluation, les résultats de s.find() peuvent être modifiés par les effets secondaires de s.replace(). En effet, s.replace() modifie la longueur de la chaîne, affectant le résultat des appels s.find() ultérieurs.

Différences d'évaluation réelles

Dans le test fourni, clang évalue s.find("even") avant s.replace(0, 4, ""), tandis que gcc les évalue potentiellement dans l'ordre inverse. Cette différence d'ordre conduit à des résultats différents dans les appels de fonction chaînés.

C 17 Modifications

En C 17, l'ordre d'évaluation des expressions suffixes (comme les appels en chaîne) a été renforcée. L'initialisation des paramètres (y compris les effets secondaires) dans les arguments de fonction est désormais séquencée de manière indéterminée par rapport aux autres paramètres. Cela garantit qu'un code comme celui en question aura un comportement bien spécifié.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!