如何用C++ Concepts约束模板参数，自动推导可调用对象返回类型？

首先，你遇到的C2672错误本质是模板参数推导失败——如果直接把L、T、Q这类参数放在函数模板的参数列表里，编译器无法从getter函数自动推导它们。正确的思路是从getter的返回类型中提取这些参数，同时用Concepts约束getter的合法性，完全避免std::function的类型擦除开销。

实现步骤 #

1. 定义glm::vec的类型提取工具

先写一个辅助结构体，用来从glm::vec类型中提取维度、数值类型和精度限定符：

#include <glm/glm.hpp>
#include <concepts>
#include <utility>

// 提取glm::vec的模板参数
template<typename Vec>
struct vec_traits {};

// 针对glm::vec的特化
template<int L, typename T, glm::qualifier Q>
struct vec_traits<glm::vec<L, T, Q>> {
    static constexpr int length = L;
    using value_type = T;
    static constexpr glm::qualifier qualifier = Q;
};

2. 用Concepts约束getter可调用对象

定义一个Concept，确保传入的getter能接受图的顶点类型，并返回合法的glm::vec：

template<typename Fn, typename Graph>
concept VertexGetter = requires(Fn&& fn, const typename Graph::vertex_type& v) {
    // 检查getter调用后返回glm::vec类型
    { std::forward<Fn>(fn)(v) } -> std::convertible_to<glm::vec<
        vec_traits<decltype(fn(v))>::length,
        typename vec_traits<decltype(fn(v))>::value_type,
        vec_traits<decltype(fn(v))>::qualifier
    >>;
};

这里的std::forward是为了保留getter的左值/右值属性，避免不必要的拷贝。

3. 实现自动推导的模板函数

把Graph和Fn作为模板参数，通过Concept约束，然后在函数内部从getter的返回类型中提取L、T、Q：

template<typename Graph, typename Fn>
requires VertexGetter<Fn, Graph>
auto convert_graph_to_contours(const Graph& graph, Fn&& fn) {
    // 从getter返回值提取所需类型参数
    using Vertex = typename Graph::vertex_type;
    using OutputVec = decltype(std::forward<Fn>(fn)(std::declval<const Vertex&>()));
    
    static constexpr int L = vec_traits<OutputVec>::length;
    using T = typename vec_traits<OutputVec>::value_type;
    static constexpr glm::qualifier Q = vec_traits<OutputVec>::qualifier;

    // 现在可以自由使用L、T、Q了
    // 示例：构造同类型的临时vec
    glm::vec<L, T, Q> temp_vec{};
    // 示例：遍历维度
    for (int dim = 0; dim < L; ++dim) {
        temp_vec[dim] = static_cast<T>(0);
    }

    // 这里写你的业务逻辑
    // ...

    return std::vector<OutputVec>{}; // 示例返回值，根据实际需求调整
}

调用方式 #

完全不需要手动指定模板参数，直接传入图和lambda即可：

// 假设你的图类型是MyGraph，顶点类型是MyVertex
MyGraph my_graph;
auto contours = convert_graph_to_contours(my_graph, [](const MyVertex& v) {
    return glm::vec3(v.pos_x, v.pos_y, v.pos_z); // 返回glm::vec3<float, glm::defaultp>
});

编译器会自动推导：

• Graph = MyGraph
• L = 3，T = float，Q = glm::defaultp（从lambda的返回类型glm::vec3<float>提取）

为什么之前会报错？ #

如果你的原代码把L、T、Q放在了函数模板的参数列表开头（比如template<typename Graph, int L, typename T, glm::qualifier Q, typename Fn>），编译器无法从传入的getter自动推导这些参数，导致找不到匹配的重载函数。现在的写法让这些参数完全从getter的返回类型推导，解决了推导失败的问题。

性能优势 #

这种写法直接把getter作为模板参数传递，编译器可以完全内联getter的调用，没有std::function的类型擦除和间接调用开销，同时保留了自动推导的便利性。

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