如何对模板实现的嵌套多维数组进行基类类型转换？

你的一维数组转换（Array<B> → Array<A>）能正常工作，但二维数组转换（Array<Array<B>> → Array<Array<A>>）失败，核心原因在于模板实例化类型的独立性：

1. 一维场景：Array<B>转Array<A>时，模板构造函数会匹配T2=B、T=A。由于B继承自A，std::shared_ptr<B>可以隐式转换为std::shared_ptr<A>，因此t = o.t是合法的，转换顺利完成。
2. 二维场景：Array<Array<B>>转Array<Array<A>>时，模板构造函数会尝试匹配T2=Array<B>、T=Array<A>。但Array<B>和Array<A>是完全独立的模板实例类型，它们之间没有继承关系，因此std::shared_ptr<Array<B>>无法隐式转换为std::shared_ptr<Array<A>>，导致编译错误。

我们可以通过SFINAE约束和显式指针转换来支持嵌套数组的向上转换，同时保证类型安全。修改后的代码如下：

#include <memory>
#include <type_traits>

struct A { int a; };
struct B : A { int b; };

template<typename T>
struct Array {
    std::shared_ptr<T> t;
    int length;

    // 改为返回引用，避免不必要的拷贝（可选但推荐）
    T& operator[](int x) { return t[x]; }
    const T& operator[](int x) const { return t[x]; }

    Array() = default;

    // 添加SFINAE约束：仅当T2可隐式转换为T时，启用该构造函数
    template<typename T2, std::enable_if_t<std::is_convertible_v<T2, T>, bool> = true>
    Array(Array<T2> o) 
        : t(std::static_pointer_cast<T>(std::move(o.t))), 
          length(o.length) {}
};

int main() {
    Array<B> b;
    Array<A> a = b; // 正常工作

    Array<Array<B>> bb;
    Array<Array<A>> aa = bb; // 现在可以正常转换
}

关键修改说明： #

1. SFINAE约束：使用std::is_convertible_v<T2, T>确保只有当T2可以隐式转换为T时，这个模板构造函数才会被启用，避免无效的类型转换尝试。
2. 显式指针转换：用std::static_pointer_cast<T>将std::shared_ptr<T2>转换为std::shared_ptr<T>。对于嵌套场景，T=Array<A>、T2=Array<B>，由于Array<B>可以通过我们的构造函数转换为Array<A>，这个指针转换是合法的（前提是你保证Array<T>的内存布局对于不同的T是兼容的，在你的示例代码中这是成立的）。
3. 优化operator[]：将返回值改为引用，避免每次数组访问都产生对象拷贝，这更符合数组的常规使用方式。

如果你需要更严格的类型安全（比如避免因内存布局差异导致的未定义行为），可以考虑重新构造嵌套数组的每个元素，而不是直接共享底层指针。但这种方式会失去原数组的共享语义，需要根据你的实际需求选择。

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