Quelles assertions sont conservées avec le mode d'optimisation de wholemodule?

Question

Toutes les explications d'assertions Swift que je peux trouver expliquent que assert* est jeté avec -O mais precondition* sont conservées à moins que -Ounchecked est défini.

Toutefois, nous avons maintenant whole-module optimization-wmo comme nouvelle valeur par défaut pour les versions de version.

Les affirmations precondition* sont-elles conservées lorsque l'optimisation de l'ensemble du module est activée?

Answer 1

Considérez ce petit programme:

func f(_ i: Int) -> Int { 
    assert(i > 0, "needed positive number") 
    return i 
} 

print(f(0)) 

Compiler avec xcrun swiftc [opt] et l'exécution du résultat donne:

• -Onone: erreur assertion
• -Onone -wmo: assertion erreur
• -O: gravures 0
• -O -wmo: imprime 0

Et en comparaison:

func f(_ i: Int) -> Int { 
    precondition(i > 0, "needed positive number") 
    return i 
} 

print(f(0)) 

• -Onone: erreur préalable
• -Onone -wmo: condition préalable erreur
• -O: Illegal instruction: 4
• -O -wmo: Illegal instruction: 4

Je ne peux pas vraiment expliquer les deux derniers résultats, mais il semble clair que l'optimisation de module entier n'influence pas comment les assertions sont traitées; Seul le niveau d'optimisation est important.

---

C'est sur

Apple Swift version 3.0.1 (swiftlang-800.0.58.6 clang-800.0.42.1) 
Target: x86_64-apple-macosx10.9