断言可以在生产中使用，还是只能在开发时使用？

Question

以下问题：避免！=空语句我问我们的一位高级开发人员为什么不使用断言。虽然他的回答被证明是合理的（我们使用自定义异常），但他也声称断言是在开发和测试时使用的，而不是在生产中使用的。

但在甲骨文的文档中http://docs.oracle.com/javase/6/docs/technotes/guides/language/assert.html看起来断言的使用超出了测试范围，甚至考虑到禁用它们的可能性。

那么，有没有更好的理由或良好实践不使用断言？

Answer 1

断言的行为因语言而异。在C语言中，它们经常被错误地使用，错误的用法非常普遍，以至于许多人建议根本不要使用它们。它们不应该用于生产（即，C的生产编译应该为预处理器定义NDEBUG），因为它们只会降低执行速度。

断言的目的是陈述逻辑上的必要性，而不是检查结果。例如，正确的做法是（在C中）写入：

f = malloc( s );
if( f == NULL ) {
   ...; exit( 1 );
}
assert( f != NULL );   # This is logically necessary.

但完全错误的曾经写：

f = malloc( x );        # THIS IS AN EXAMPLE OF INCORRECT USAGE
assert( f != NULL );    # DO NOT DO THIS

这实际上很有用，因为它完全可以用来写：

f = xmalloc( x );
assert( f != NULL ); 

它作为读者的文档，说明xmalloc的定义方式永远不会返回空值。

它们通常在函数开始时使用：

void f( void *p ) { assert( p != NULL ); ... }

这种用法不是错误检查。相反，它用于指示函数f期望它永远不会被传递空指针。留档给开发人员的是，将空指针传递到f是一个编程错误。将其设置为断言可以在启用断言时在运行时检测到错误。