代码诊断Clang Diagnostics

注意

本文转载自http://nshipster.cn/clang-diagnostics/

概要

诊断结合了逻辑与分析来得出一个结论。这是最纯粹的科学和工程学，也是人类最有力的推理。

在医学界，诊断是通过实验室样本做后盾的本能来判断。而对于工业制造，则是通过在统计和方向都等同应用来诊断产品故障。

对于我们开发者来说，我们通过代码通知后续代码的生产，创建了一个在过去半个世纪里呈几何级数发展的技术的正反馈循环。尤其对于我们的 Objective-C 开发者来说，最有效的诊断来自 Clang。

Clang 是 C / Objective-C 的前端的 LLVM 编译器。它对 Objective-C 的语义和语法有着深刻的理解，而且更重要的原因是现在 Objective-C 已经是这样一个有能力的语言了。

当你在 XCode 中运行 “Build & Analyze” (⌘⇧B) 后得到的惊人结果是 Clang 的更细腻，更深沉一面的功能：它的代码诊断。

在我们关于 #pragma 文章中，我们打趣的说：

资深提示：尝试设置 -Weverything 标志，并在你的编译设置中勾选上 “Treat Warnings as Errors”。这将在 Xcode 中开启困难模式。

现在，我们支持这个建议，并鼓励其他开发者更严肃的对待编译警告。然而，也有一些情况下，你和 Clang 会陷入僵局。例如，考虑以下 switch 语句：

switch (style) {
    case UITableViewCellStyleDefault:
    case UITableViewCellStyleValue1:
    case UITableViewCellStyleValue2:
    case UITableViewCellStyleSubtitle:
        // ...
    default:
        return;
}

当启用这些标志后，Clang 会警告说 “default label in switch which covers all enumeration values”。然而，放大到一个更大的背景下，如果我们知道 style 是（不管怎样）从外部来源的描述（如JSON资源），允许无约束的 NSInteger 值，则 default 情况是必要的保障。坚持这个必然性的唯一方法就是使用 #pragma 暂时忽略警告标志：

push & pop 用于保存和恢复编译器的状态，类似 Core Graphics 或 OpenGL 上下文。

#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wcovered-switch-default"
switch (style) {
    case UITableViewCellStyleDefault:
    case UITableViewCellStyleValue1:
    case UITableViewCellStyleValue2:
    case UITableViewCellStyleSubtitle:
        // ...
    default:
        return;
}
#pragma clang diagnostic pop