C++：如何保留模板模板参数的常量性？

问题背景 #

使用模板模板参数定义函数时，无法自动适配const容器的引用，导致调用const容器编译失败；而添加重载函数又会造成代码重复，需要找到无重复代码的解决方案。

问题分析 #

普通模板参数T&可以根据实参自动推导为const T&或T&，但模板模板参数C<T>&的推导逻辑不同：C会被绑定为容器模板（比如std::vector），而const是修饰整个C<T>类型，并非C的模板参数，因此函数参数C<T>&无法匹配const C<T>&类型的实参，导致编译错误。

解决方案 #

放弃模板模板参数，直接将容器整体作为模板参数，让编译器自动推导容器的cv限定和元素类型，无需编写重载即可同时支持const和非const容器。

方法1：使用C++20范围概念（推荐） #

利用std::ranges的概念约束容器类型，通过std::ranges::range_reference_t自动获取容器元素的引用类型，完美匹配Visitor的调用需求：

#include <concepts>
#include <print>
#include <vector>

template<typename T, std::invocable<T> Visitor>
void ref_visit(T& t, const Visitor& visit) { visit(t); }

// 替代原template_ref_visit，支持所有随机访问范围类型
template<std::ranges::random_access_range Container, std::invocable<std::ranges::range_reference_t<Container>> Visitor>
void container_ref_visit(Container& c, Visitor visit) {
    visit(c[0]);
}

struct Printer {
    void operator()(int& i) const { std::println("non-const: {}", i); }
    void operator()(const int& i) const { std::println("const: {}", i); }
} printer;

int main()
{
    int i{1};
    int& ri{i};
    const int& cri{i};
    ref_visit(ri, printer); // 输出: non-const: 1
    ref_visit(cri, printer); // 输出: const: 1

    std::vector<int> v{42};
    std::vector<int>& rv{v};
    const std::vector<int>& crv{v};
    container_ref_visit(rv, printer); // 输出: non-const: 42
    container_ref_visit(crv, printer); // 编译通过，输出: const: 42
}

方法2：手动提取元素类型 #

如果无法使用C++20范围特性，可以通过类型萃取工具提取容器的元素类型，并根据容器是否为const来确定引用类型：

#include <concepts>
#include <print>
#include <type_traits>
#include <vector>

template<typename T, std::invocable<T> Visitor>
void ref_visit(T& t, const Visitor& visit) { visit(t); }

template<typename Container, std::invocable<std::conditional_t<
    std::is_const_v<std::remove_reference_t<Container>>,
    const typename Container::value_type,
    typename Container::value_type
>&> Visitor>
void container_ref_visit(Container& c, Visitor visit) {
    visit(c[0]);
}

struct Printer {
    void operator()(int& i) const { std::println("non-const: {}", i); }
    void operator()(const int& i) const { std::println("const: {}", i); }
} printer;

int main()
{
    // 测试代码同方法1，效果一致
}

方案优势 #

• 无需编写重载函数，避免代码重复
• 自动适配const/非const容器，推导逻辑清晰
• 兼容多模板参数的容器（如std::map），扩展性更强

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