模板类型数学

在里面 c++17 ,您可以提供一个助手模板函数,您可以 decltype 查找要返回的数组的返回类型。

#include <cstdint>
#include <type_traits> // std::is_same_v

template <typename T> 
auto ret_type_helper()
{
   if constexpr (std::is_same_v <T, std::uint8_t>)         return std::uint16_t{};
   else if constexpr (std::is_same_v <T, std::uint16_t>)   return std::uint32_t{};
   else if constexpr (std::is_same_v <T, std::uint32_t>)   return std::uint64_t{};
   // else if constexpr... for another type.....
}

template <typename T>
auto func(const std::array<T /*, size */>& arr)
{
   // use for getting the array's type, which you want to return from the function
   using ReType = decltype(ret_type_helper<T>());

   std::array<ReType /*, size */> result;

   // ... code
   return result;
}

您不能自动完成,但通过一些手动操作,这是可能的:

template<typename> struct double_size_type;

template<> struct double_size_type<std::uint8_t> {
    using type = std::uint16_t;
};

template<> struct double_size_type<std::uint16_t> {
    using type = std::uint32_t;
};

template<> struct double_size_type<std::uint32_t> {
    using type = std::uint64_t;
};

template<typename T, typename U = typename double_size_type<T>::type> {
    // ...
};

对于每种支持的类型 T 您需要提供 double_size_type<T> .

我们可以将int的大小作为模板参数,因此 Int<32> 表示32位整数。然后你可以做 Int<sizeof(other_int) * 8 * 2> ,这意味着int的大小是 other_int :

#include <cstdint>
#include <type_traits>

// signed
template <std::size_t size>
using Int = std::conditional_t<size==8, std::int8_t,
                std::conditional_t<size==16, std::int16_t,
                    std::conditional_t<size==32, std::int32_t,
                        std::conditional_t<size==64, std::int64_t, void>>>>;

// unsigned
template <std::size_t size>
using UInt = std::conditional_t<size==8, std::uint8_t,
                std::conditional_t<size==16, std::uint16_t,
                    std::conditional_t<size==32, std::uint32_t,
                        std::conditional_t<size==64, std::uint64_t, void>>>>;

int main() { 
    // twice size of a regular int
    Int<sizeof(int) * 8 * 2> i2 = 0; 
}