CUDA中__host__ __device__修饰的__assert_fail为何无编译警告/报错？

你遇到的普通函数重声明报错是通用规则，但__assert_fail属于CUDA特殊处理的函数，不受该规则限制，具体有三层机制保障：

• 内置函数白名单豁免：CUDA头文件中声明的__assert_fail带有__cudart_builtin__特殊标记，属于NVCC预设的运行时内置函数白名单。编译器对这类函数会跳过普通的重声明冲突校验，允许和标准库的同名__assert_fail声明共存，不会触发你示例中foo函数的重声明报错。
• 双编译流符号隔离：NVCC编译.cu文件时会拆分出完全独立的主机端、设备端两个编译流，二者的符号表互不干涉。主机端编译流程只会关联标准库的__assert_fail，设备端编译流程只会关联CUDA内置的__host__ __device__版本__assert_fail，最终链接阶段不会出现符号冲突。
• assert宏自适应展开：CUDA头文件会默认覆盖标准库的assert宏，宏展开逻辑会根据上下文自动匹配对应版本：在设备函数中调用assert时展开为CUDA内置版本的__assert_fail调用，在主机代码中调用assert时展开为标准库版本的__assert_fail调用，不会出现同一个调用点需要匹配两种声明的场景。

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