Objective-C中用于不可达代码的无条件断言是否有更优替代方案？

你提到的NSAssert(NO, @"this should never happen")有个致命问题：Release模式下默认会被完全移除（因为NS_BLOCK_ASSERTIONS宏会被定义），如果代码真的走到了这个分支，程序不会终止，只会默默继续执行，可能引发更隐蔽的问题。下面是几个更可靠的替代方案：

• 自定义便捷终止函数（推荐）
  系统没有现成的NSTerminate带消息的函数，但自己封装一个超简单，而且Debug/Release模式下都会生效：

  #import <Foundation/Foundation.h>
  
  __attribute__((noreturn)) void FatalError(NSString *message) {
      // 输出到stderr，确保即使NSLog被重定向也能看到
      fprintf(stderr, "FATAL ERROR: %s\n", message.UTF8String);
      // 直接终止程序，不执行任何清理逻辑，符合"无条件"需求
      abort();
  }
  

  使用时直接调用：

  FatalError(@"this should never happen");
  

  加__attribute__((noreturn))是告诉编译器这个函数不会返回，避免出现"控制流到达非void函数末尾"的警告。

• 直接组合打印+终止
  如果不想封装函数，直接一行代码搞定，适合临时场景：

  fprintf(stderr, "this should never happen\n"); abort();
  

  用fprintf而不是NSLog是因为NSLog可能被禁用或延迟输出，stderr的输出更即时可靠。

• 全局自定义断言处理器
  如果你想统一管理所有断言的行为，可以自定义NSAssertionHandler，但这个是全局生效的，适合需要统一处理所有断言失败的场景：

  @interface FatalAssertHandler : NSAssertionHandler
  @end
  
  @implementation FatalAssertHandler
  - (void)handleFailureInFunction:(NSString *)func file:(NSString *)file lineNumber:(NSInteger)line description:(NSString *)format, ... {
      va_list args;
      va_start(args, format);
      NSString *msg = [[NSString alloc] initWithFormat:format arguments:args];
      va_end(args);
      fprintf(stderr, "FATAL FAILURE IN %s:%ld: %s\n", file.UTF8String, (long)line, msg.UTF8String);
      abort();
  }
  
  - (void)handleFailureInMethod:(SEL)sel object:(id)obj file:(NSString *)file lineNumber:(NSInteger)line description:(NSString *)format, ... {
      // 同上，处理方法内的断言
      va_list args;
      va_start(args, format);
      NSString *msg = [[NSString alloc] initWithFormat:format arguments:args];
      va_end(args);
      fprintf(stderr, "FATAL FAILURE IN %@[%@] %s:%ld: %s\n", [obj class], NSStringFromSelector(sel), file.UTF8String, (long)line, msg.UTF8String);
      abort();
  }
  @end
  

  然后在App启动时设置默认处理器：

  [NSAssertionHandler setDefaultHandler:[FatalAssertHandler new]];
  

  这样所有NSAssert和NSCAssert失败时都会直接终止程序，但注意Release模式下NSAssert还是会被移除，所以如果要无条件生效，还是自定义函数更靠谱。

内容的提问来源于stack exchange，提问作者simd