将泛型参数封装为嵌套结构的模板设计范式名称是什么？

请考虑以下设计：

template <typename IndexOrder>
struct MatrixBase {
    using ValueType = IndexOrder::ValueType;
    // This struct provides the public interface
};

template <typename StorageProvider>
struct RowMajorOrder {
    using ValueType = StorageProvider::ValueType;
    // This struct provides functions to map 2D coordinates to 1D offset
};
template <typename StorageProvider>
struct ColMajorOrder {
    using ValueType = StorageProvider::ValueType;
    // This struct provides functions to map 2D coordinates to 1D offset
};

template <typename T>
struct OwnedStorage {
    typedef T ValueType;
    // This struct manages the allocation of a continuous block of memory
};
template <typename T>
struct BorrowedStorage {
    typedef T ValueType;
    // This struct stores a pointer to a block of memory managed by others
};

// The type aliases are responsible for the wrapping
template <typename T>
using MatrixRowMajor = MatrixBase<RowMajorOrder<OwnedStorage<T>>>;
template <typename T>
using MatrixColMajor = MatrixBase<ColMajorOrder<OwnedStorage<T>>>;
template <typename T>
using MatrixRowMajorView = MatrixBase<RowMajorOrder<BorrowedStorage<T>>>;
template <typename T>
using MatrixColMajorView = MatrixBase<ColMajorOrder<BorrowedStorage<T>>>;

用户使用该类型时，只需编写：

MatrixRowMajor<double> my_matrix;

该设计并未将T设为MatrixBase的类型参数，而是将T封装进多层嵌套结构中。MatrixBase接收的是封装后的嵌套结构而非T本身，当需要引用T时，它会使用关联类型ValueType。用户通过提供的类型别名（如MatrixRowMajor）使用该类型，只需传入T，封装过程由类型别名完成。Rust库ndarray也采用了类似设计。

问题： 这种设计范式的正式名称是什么？是否有对应的术语？

这种设计范式核心属于策略组合（Policy Composition），是**策略模式（Policy Pattern）在模板元编程场景下的扩展应用。在C++语境中，这类通过嵌套传递不同维度的行为/实现策略、并借助关联类型暴露内部关联类型的做法，也常被称为模板策略（Template Policy）**的典型实践。

同时，它结合了别名模板（Alias Template）的封装能力，将复杂的模板嵌套结构隐藏在简洁的用户接口之后，这种简化外部使用的方式可称为类型别名抽象（Type Alias Abstraction），但核心设计逻辑仍以策略组合为基础。

Rust的ndarray库采用的同类设计，本质也是将存储方式、索引顺序等独立策略进行嵌套组合，再通过类型别名降低用户的使用复杂度，完全契合策略组合的范式。

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