如何推导嵌套模板参数？C++模板参数推导问题咨询

问题原因 #

当你显式指定Model<double>时，类模板的第二个参数TMp会优先使用默认值Tp（即double），此时构造函数期望接收Mesh<double>类型的参数，但你传入的是Mesh<float>，因此编译不通过。

这是因为C++类模板的参数推导规则：如果显式指定了部分类模板参数，剩余参数会优先使用默认值，而不会从构造函数的实参中推导。只有完全不指定类模板参数时（如Model model(mesh)），编译器才会尝试从构造函数实参推导所有类模板参数。

解决方法 #

方法1：添加类模板推导指引

为Model编写推导指引，让编译器在显式指定Tp的情况下，依然能从Mesh<TMp>推导出TMp，同时满足约束：

#include <concepts>

template <typename Tp, typename TMp>
concept validMesh = std::floating_point<Tp> && std::floating_point<TMp> && 
                    (std::same_as<Tp, TMp> || std::same_as<TMp, float>);

template <typename TMp>
requires std::floating_point<TMp>
class Mesh {
public:
    Mesh() = default;
};

template <typename Tp=float , typename TMp=Tp>
requires validMesh<Tp,TMp>
class Model {
public:
    Model(Mesh<TMp> mesh) : mesh{ mesh } { };

private:
    Mesh<TMp> mesh;
};

// 添加推导指引，支持显式指定Tp时推导TMp
template <typename Tp, typename TMp>
requires validMesh<Tp, TMp>
Model(Mesh<TMp>) -> Model<Tp, TMp>;

此时即可直接使用：

Mesh<float> mesh;
Model<double> model(mesh); // 编译通过，编译器自动推导出TMp=float

方法2：重构Model类，仅保留Tp作为模板参数

如果希望Model<double>是统一类型（无论成员是Mesh<double>还是Mesh<float>），可以用std::variant存储成员，并通过模板构造函数施加约束：

#include <concepts>
#include <variant>
#include <utility>

template <typename TMp>
requires std::floating_point<TMp>
class Mesh {
public:
    Mesh() = default;
};

template <typename Tp>
concept ValidModelType = std::floating_point<Tp>;

template <ValidModelType Tp>
class Model {
public:
    // 约束：当Tp是float时，仅接受Mesh<float>
    template <typename TMp>
    requires (std::same_as<Tp, float> && std::same_as<TMp, float>)
    Model(Mesh<TMp> mesh) : mesh_{std::move(mesh)} {}

    // 约束：当Tp是double时，接受Mesh<double>或Mesh<float>
    template <typename TMp>
    requires (std::same_as<Tp, double> && 
              (std::same_as<TMp, double> || std::same_as<TMp, float>))
    Model(Mesh<TMp> mesh) : mesh_{std::move(mesh)} {}

private:
    // 根据Tp类型选择存储方式
    using MeshStorage = std::conditional_t<std::same_as<Tp, float>,
                                           Mesh<float>,
                                           std::variant<Mesh<double>, Mesh<float>>>;
    MeshStorage mesh_;
};

这种方式下，Model<double>是一个统一的类型，可以存储两种Mesh实例，同时严格符合约束要求。

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