部分C++编译器报if-else后缺返回值警告，对应代码是否符合标准？

你提供的代码完全符合C17及更高版本的C标准规定，Intel icc、pgi/nvc++抛出的「missing return statement」警告属于编译器误报。

• 代码中operator!=函数使用了C17引入的if constexpr语法，其判断条件J_ > 0是编译期常量：对于任意一组合法的模板实例化参数，if constexpr只会保留其中一个分支的代码，两个分支均包含明确的return语句，不存在非void函数执行到结尾没有返回值的情况，完全符合C标准要求。
• 出现误报的核心原因是icc、nvc++的静态分析逻辑存在缺陷，没有正确识别嵌套类模板的友元函数中if constexpr的所有分支都覆盖了返回路径；gcc、clang的静态分析逻辑处理了这类场景，所以即使用最高警告等级编译也不会抛出无意义的警告。

• main函数中使用未初始化的局部变量a、b属于未定义行为，但这和你提到的返回值警告无关，也不影响operator!=函数本身的合法性。
• 如果需要消除icc、nvc++的误报，可以在operator!=函数末尾添加一条冗余的return false;语句，该语句不会被实际执行，编译器会自动优化掉这条无效代码，不会产生额外的运行时开销。

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