Pimpl模板化失败：GCC编译报错，MSVC无此问题

你的代码在GCC编译时出错的核心原因是依赖名称缺少typename关键字，而MSVC因为自身的非标准扩展允许省略该关键字，所以能正常编译。

错误原因分析 #

在模板类NoConstraint<T>的构造函数中，Constraint<T>::Impl是一个依赖于模板参数T的嵌套类型。根据C++标准，当在模板中引用这类依赖于模板参数的类型时，必须用typename关键字明确告知编译器这是一个类型——否则编译器会默认将其视为非类型（比如静态成员变量），从而引发"类型/值不匹配"的编译错误。

修复方案 #

修改NoConstraint的构造函数，在Constraint<T>::Impl前添加typename关键字，同时推荐使用std::make_shared替代直接new创建智能指针，更安全高效：

//! No constraint
template <class T>
class NoConstraint : public Constraint<T> {
  private:
    class Impl final : public Constraint<T>::Impl {
      public:
        bool test(const std::vector<double>&) const override { return true; }
    };
  public:
    // 推荐写法：用make_shared简化
    NoConstraint() : Constraint<T>(std::make_shared<typename Constraint<T>::Impl>(Impl())) {}
    // 或者保留原写法并添加typename：
    // NoConstraint() : Constraint<T>(std::shared_ptr<typename Constraint<T>::Impl>(new NoConstraint<T>::Impl)) {}
};

另外，Constraint类的构造函数需要补充定义（若未实现），否则会触发链接错误：

template <class T>
Constraint<T>::Constraint(std::shared_ptr<Impl> impl) : impl_(std::move(impl)) {}

为什么MSVC能编译通过？ #

MSVC编译器存在非标准的扩展行为，它会在部分场景下自动推断依赖名称是类型，不需要显式添加typename。但这种写法不符合C++标准，在GCC、Clang等严格遵循标准的编译器中会报错，因此建议始终遵循标准写法，添加typename以保证跨编译器兼容性。

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