VS2017报'constexpr'无效等错误，VS2019正常，求原因与解决方法

这两个错误都是VS2017和2019在C++标准支持细节上的差异导致的，我帮你拆解原因和对应的修复方法：

一、VS2017 vs VS2019的核心差异 #

这两个错误本质上指向编译器对C++17特性支持的不同：

• constexpr变量模板特化支持：VS2017对C++17中inline constexpr变量模板的显式特化支持不完整，存在兼容性bug；而VS2019完全实现了该特性，所以你在bol.hpp第27行的写法能在2019正常编译，但2017会报错。
• 模板特化的查找规则：VS2017的编译器对模板显式特化的「首次使用」检查非常严格，要求特化声明必须出现在模板被实例化的代码之前；VS2019优化了这一逻辑，允许依赖于参数查找的特化在实例化后出现，因此不会触发E1449错误。

二、针对VS2017的修复步骤 #

1. 修复'constexpr' is not valid here错误 #

把bol.hpp中的特化代码从：

template<> inline constexpr bool enable_control< bol > = false;

修改为VS2017兼容的写法：

namespace tao::pegtl::internal {
    // 先声明特化
    template<> bool enable_control< bol >;
    // 再定义constexpr值
    template<> constexpr bool enable_control< bol > = false;
}

核心是去掉inline关键字，因为VS2017对inline constexpr变量特化的支持存在缺陷。

2. 修复E1449：显式特化必须先于首次使用 #

这个问题源于VS2017要求enable_control<bol>的特化必须在任何使用bol规则的代码之前被编译器识别，你可以选以下两种方式解决：

• 调整头文件包含顺序：确保bol.hpp被最先包含在所有使用PEGTL的源文件中，让特化代码先于任何实例化bol规则的代码。
• 提前声明特化：在包含PEGTL的核心头文件之前，手动声明该特化：

// 在任何#include <tao/pegtl/...>之前添加这段代码
namespace tao::pegtl::internal {
    template<typename Rule> extern bool enable_control;
    template<> constexpr bool enable_control<class bol> = false;
}

这样编译器在处理后续的模板实例化时，已经知晓这个特化的存在。

额外建议 #

如果项目允许的话，尝试升级PEGTL到最新稳定版本——很多开源库会针对旧编译器（比如VS2017）做兼容性修复，新版本可能已经内置了解决该问题的代码。

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