仅在 C++ 中的 const 限定符上实现模板

Question

我想获得两个仅在参数的常量上有所不同的类。

我目前做的是：
（这是一个虚拟的最小示例。）

template <typename T>
struct Wrapper {
    Wrapper(T & t):
        t(t) {
    }

    T & t;
};

class Foo;

using Foo_wrapper = Wrapper<Foo>;
using Const_Foo_wrapper = Wrapper<const Foo>;

我希望我的 模板 仅在 Foo 上声明，仅在 const 限定符上有所不同。
这会是这样的：
（这是无效的语法，试图给出这个想法。）

class Foo;

template <qualifier Q>
struct Foo_base_wrapper {
    Wrapper(Q Foo & t):
        t(t) {
    }

    Q Foo & t;
};

using Foo_wrapper = Foo_base_wrapper<none>;
using Const_Foo_wrapper = Foo_base_wrapper<const>;

有没有办法做到这一点？

（一个接近的解决方案可能是概念，但这会更加通用和复杂，而且我没有 C++ 20。）

Answer 1

您不能单独使用 const 关键字，但您可以使用模板（部分）特化来控制具有类似这样的类型的常量。

enum Qualifier { Mutable, Const };

template<typename T, Qualifier Q>
struct Qualified
{
    using type = T;
};

template<typename T>
struct Qualified<T, Const>
{
    using type = const T;
};

template <Qualifier Q = Mutable>
struct Foo_base_wrapper
{
    using QualifiedFoo = typename Qualified<Foo, Q>::type;

    Foo_base_wrapper(QualifiedFoo & t) : t(t)
    { }

    QualifiedFoo & t;
};

using Foo_wrapper = Foo_base_wrapper<>;  // or explicitly Foo_base_wrapper<Mutable>
using Const_Foo_wrapper = Foo_base_wrapper<Const>;

如果你不需要定义其他的包装器，当然可以直接使用 Foo 在 Qualified 模板及其特化中。

您可能还对处理引用的常量性的函数std::ref / std::cref 感兴趣。