我有一个设计，它触发了一个推断非类型模板参数的失败。我有以下最小的例子：

#include <array>
#include <cstdint>

// KO see below
// using NbDim_t = uint8_t;
using NbDim_t = size_t;

// let's say it's a N dimensionnal matrix
template <NbDim_t DIM>
struct Mat {
    static constexpr NbDim_t dims = DIM;
};

// this is a matrix creator from an array of size of it's different dimensions
template <NbDim_t DIM>
Mat<DIM> Create(std::array<int, DIM> input) {
    return Mat<DIM>();
}

int main() {
    std::array<int, 3> d = {1, 2, 3};
    // KO if NbDim_t si not std::array<whatever,whatever>::size_type
    // cannot deduced a non-type template parameter of one type from a value of
    // different type
    auto M = Create(d);

    return 0;
}

Playable example
由于超出这个最小示例范围的原因，我想对用于表示Mat维数的类型进行微调。
然而，如果我不使用size_t，DIM就不能被推导出来，因为在调用点，它的类型是size_t，而我的模板函数期望的是NbDim_t，这是不同的，即使在编译时，编译器可以检测到转换是有效的。
1.模板推导的确切规则是什么，使这个设计错误（我找不到好的地方有template argument deduction rules）？
1.我如何修复这个设计（让NbDim_t不是size_t，并从std::array参数推导出来）？
[编辑]我可能有第二部分的解决方案：

#include <array>
#include <cstddef>
#include <cstdint>

// OK now
using NbDim_t = uint8_t;
// using NbDim_t = size_t;

// let's say it's a N dimensionnal matrix
template <NbDim_t DIM>
struct Mat {
    static constexpr NbDim_t dims = DIM;
};

// this is a matrix creator from an array of size of it's different dimensions
template <size_t N, NbDim_t DIM = N>
Mat<DIM> Create(std::array<int, N> input) {
    return Mat<DIM>();
}

int main() {
    std::array<int, 3> d = {1, 2, 3};
    // N deduced then set into DIM
    auto M = Create(d);

    return 0;
}

Live有更好的方法吗？