inline constexpr std::size_t calc_block_size(std::size_t const pv) noexcept
{
    // 块的基本大小
    auto constexpr base = 4096uz;
    // 基本大小下，元素最大大小，至少保证16个
    auto constexpr sieve = base / 16uz;

    if (pv < sieve)
    {
        // 在基本大小的1-8倍间找到利用率最高的
        auto block_sz = 0uz;
        auto rmd_pre = std::size_t(-1);
        auto result = 0uz;
        for (auto i = 0uz; i != 8uz; ++i)
        {
            block_sz = base * (i + 1uz);
            auto rmd_cur = (block_sz * i) % pv;
            // 越小利用率越高
            if (rmd_cur < rmd_pre)
            {
                rmd_pre = rmd_cur;
                result = block_sz;
            }
        }
        return result;
    }
    else
    {
        // 寻找y使得y大于16*元素大小，且y为4096整数倍
        return (pv * 16uz + base - 1uz) / base * base;
    }
}

template<typename T, int S>
class Array;

f() {
   if constexpr(A) {
      if constexpr(C) {
      } else if constexpr(D){
      }
   } else if constexpr(B) {
      if constexpr(C) {
      } else if constexpr(D){
      }
   }
}

上面这个的值域 有下列可能

f0() {}
f1() { A{} }
f2() { A{C{}} }
f3() { A{D{}} }
f4() { B{} }
f5() { B{C{}} }
f6() { B{D{}} }

假如变化因素的个数是 n0 n1 n2 n3......，那么枚举的结果数量级是 阶乘的，手写明显是不现实的。