C++中让方法返回模板参数递减的传入类实例的技术问询

没问题，这个需求用C++的模板类型萃取就能优雅解决。核心思路是先把传入类的模板参数提取出来，再用这些参数构造出整数索引减1后的目标类型。下面是具体的实现步骤和示例：

首先我们需要一个类型萃取器，它的作用是“拆解”传入的模板类，提取里面的类型参数T和整数参数i，同时预定义好索引减1后的目标类型：

#include <cstddef> // 引入size_t的定义

// 基础模板，用于匹配所有类型
template <typename>
struct TemplateTraits;

// 偏特化版本：专门匹配所有形如 Class<T, i> 的类模板实例
template <template <typename, size_t> class Class, typename T, size_t i>
struct TemplateTraits<Class<T, i>> {
    // 提取原类的类型参数T
    using ValueType = T;
    // 提取原类的整数索引i
    static constexpr size_t CurrentIndex = i;
    // 直接定义索引减1后的目标类型
    using DecrementedType = Class<T, i - 1>;
};

有了类型萃取器，我们就可以写一个通用的模板函数，它能接收任何符合结构的类实例，返回索引减1后的新实例：

template <typename Class>
auto decrement_index(const Class&) -> typename TemplateTraits<Class>::DecrementedType {
    // 加个编译期断言，防止索引为0时出现无符号整数下溢的问题
    static_assert(TemplateTraits<Class>::CurrentIndex > 0, 
                  "Error: Cannot decrement index from 0 (would cause unsigned underflow)");
    
    // 这里默认假设类可以默认构造，如果你的类需要传递构造参数，可以修改这里
    return {};
}

如果你的类不能默认构造，比如需要从原实例拷贝某些成员，可以调整函数逻辑，比如：

// 示例：假设类有一个可访问的value成员，类型为ValueType
template <typename Class>
auto decrement_index(const Class& obj) -> typename TemplateTraits<Class>::DecrementedType {
    static_assert(TemplateTraits<Class>::CurrentIndex > 0, 
                  "Error: Cannot decrement index from 0");
    
    // 把原实例的成员传递给新实例的构造函数
    return {obj.value};
}

现在你可以用这个方法处理所有符合模板参数结构的类，包括你定义的A、B、C：

// 你的原始类定义
template <typename T, size_t i> struct A { }; 
template <typename T, size_t i> struct B : A<T,i>{ }; 
template <typename T, size_t i> struct C : A<T,i>{ };

int main() {
    B<int, 3> b_instance;
    // b_decremented 的类型是 B<int, 2>
    auto b_decremented = decrement_index(b_instance);
    
    C<double, 5> c_instance;
    // c_decremented 的类型是 C<double, 4>
    auto c_decremented = decrement_index(c_instance);
    
    A<char, 1> a_instance;
    // 下面这行会触发编译期断言错误，因为索引0会导致无符号下溢
    // auto a_decremented = decrement_index(a_instance);
    
    return 0;
}

• 模板偏特化TemplateTraits<Class<T, i>>会自动匹配所有以typename和size_t为模板参数的类模板实例，不管是你已经定义的A、B、C，还是以后新增的同类结构的类。
• 通过类型萃取器，我们可以安全地获取原类型的模板参数，避免了为每个类单独写重载函数的冗余。
• static_assert确保了代码的安全性，在编译期就阻止了可能导致无符号整数下溢的非法调用。

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