C++模板元编程素数生成代码无报错无限编译问题排查

问题根本成因 #

核心原因是C++模板的实例化不受编译期常量条件的短路逻辑控制：你代码中使用的普通三目运算符，在编译期计算常量值时虽然会根据条件选择最终取值，但编译器会先强制实例化三目运算符所有分支中涉及的所有模板，不会因为某个分支不会被最终取值就跳过其内部的模板实例化过程。

具体到你的代码逻辑：

• 每次实例化generate_prime_helper_tmpl时，不管当前test_value是否已经大于max_target，三目运算符中test_value <= max_target为真的分支都会被强制实例化，该分支内部又会生成test_value + 1对应的两个generate_prime_helper_tmpl变体实例。
• 这就导致模板参数test_value会无限递增，编译器会持续生成test_value = 2、3、4、5……对应的无穷多个模板实例，永远不会终止实例化流程，因此会一直卡在编译状态。

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