如何使用C断言让代码更安全？

阅读杂项。与SDL开发相关的教程我发现了两个不同的例子，做同样的事情，但以不同的方式。我想知道从代码“安全性”和可维护性的角度来看，您认为这两者中哪一个是正确的。

在第一个示例中，程序员根本没有使用断言，但代码看起来不错（至少在我看来）：

int main(){
        SDL_Surface *screen;

        /** Initialize SDL */
        if(SDL_Init(SDL_INIT_VIDEO)!=0){
                fprintf(stderr,"Unable to initialize SDL: %s",SDL_GetError());
        }
        atexit(SDL_Quit);

        /** Sets video mode */
        screen=SDL_SetVideoMode(640,480,16,SDL_HWSURFACE);
        if(screen==NULL){
                fprintf(stderr,"Unable to set video mode: %s",SDL_GetError());
        }

        return (0);
}

在第二个示例中，程序员[其他]使用了不同的方法，例如（代码并不完全是复制粘贴）：

int main(){
        SDL_Surface* screen;

        /** Initialize SDL */
        assert(SDL_Init(SDL_INIT_VIDEO)==0);
        atexit(SDL_Quit);

        /** Sets video mode */
        screen=SDL_SetVideoMode(640,480,16,SDL_HWSURFACE);
        assert(screen!=NULL);

        return (0);
}

可以用第二个示例中的断言“替换” if 条件（第一个示例中的）吗？

正确的策略是什么（如果有的话）？

进行这种替换是不行的。第二个例子是wrong， 因为assert(x)扩展到nothing在非调试版本中（当NDEBUG被定义为）。这意味着指针签入assert以上已从发布版本的代码中删除。这绝对是错误的。

那么，什么时候应该使用assert？它对于记录 and 调试。在某种程度上，你是在说，“我确信这个条件是正确的，并且我把它放在这里作为一个assert在调试期间捕获错误代码，并向代码读者记录该情况”。

因此，这两个示例之间存在很大差异。对于诸如检查返回值之类的事情malloc, assert是错误的，因为不能保证他们会返回非NULL，正如我上面提到的，assert(x)意思是“我完全确定x是真的”，而不仅仅是“如果x这不是真的，这很糟糕”。为此，人们使用if(x) good(); else bad();控制。

SDL_Init http://sdl.beuc.net/sdl.wiki/SDL_Init and SDL_SetVideoMode http://sdl.beuc.net/sdl.wiki/SDL_SetVideoMode可以返回-1 and NULL分别。