如何在C++中使用模板类型内定义的类型以减少冗余代码？

针对你的需求，有几种更简洁的方式可以避免重复书写typename Wrapper::type，同时不让函数模板引入多余的、含义不一致的参数：

方式1：C++20 Concept + auto返回类型推导 #

如果项目支持C++20，直接利用Concept约束Wrapper的合法性，配合auto自动推导返回类型，模板参数仅保留Wrapper：

// 假设你已定义好约束Wrapper的Concept，比如命名为Field
template<typename Wrapper>
concept Field = requires {
    typename Wrapper::type;
    typename Wrapper::OpAdd;
    typename Wrapper::OpMul;
    requires std::invocable<typename Wrapper::OpAdd, typename Wrapper::type, typename Wrapper::type>;
    requires std::invocable<typename Wrapper::OpMul, typename Wrapper::type, typename Wrapper::type>;
};

template<Field Wrapper>
auto f(const typename Wrapper::type& a, const typename Wrapper::type& b) {
    return a + b;
}

这种方式无需额外模板参数，既保证了Wrapper的合法性，又让返回类型由编译器自动推导。

方式2：模板别名封装 #

提前定义一个模板别名来替代typename Wrapper::type，简化后续书写，同时保持模板参数单一：

template<typename Wrapper>
using ScalarType = typename Wrapper::type;

template<Field Wrapper>
ScalarType<Wrapper> f(const ScalarType<Wrapper>& a, const ScalarType<Wrapper>& b) {
    return a + b;
}

把重复的typename Wrapper::type封装成ScalarType<Wrapper>，既减少冗余，又让代码可读性更强。

方式3：函数内部定义类型别名 #

如果不想用auto返回类型，可以在函数模板内部定义局部别名，避免函数体中重复书写：

template<Field Wrapper>
typename Wrapper::type f(const typename Wrapper::type& a, const typename Wrapper::type& b) {
    using T = typename Wrapper::type;
    // 后续函数体中直接用T替代typename Wrapper::type
    return T(a + b);
}

这种方式模板参数依然只有Wrapper，仅在函数内部简化类型书写。

结合线性代数场景的优化 #

针对你提到的域F的需求，推荐用模板别名+Concept的组合，直接调用域提供的操作：

template<typename F>
concept Field = requires {
    typename F::type;
    typename F::OpAdd;
    typename F::OpMul;
    requires std::invocable<typename F::OpAdd, typename F::type, typename F::type>;
    requires std::invocable<typename F::OpMul, typename F::type, typename F::type>;
};

template<typename F>
using Scalar = typename F::type;

template<Field F>
Scalar<F> add(const Scalar<F>& a, const Scalar<F>& b) {
    return F::OpAdd{}(a, b); // 直接使用域定义的加法操作
}

template<Field F>
Scalar<F> mul(const Scalar<F>& a, const Scalar<F>& b) {
    return F::OpMul{}(a, b); // 直接使用域定义的乘法操作
}

这种实现既满足了域的约束要求，又彻底避免了代码冗余，模板参数含义清晰，仅为域类型F。

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