通过编译时值推断整数的类型

Question

使用C 14、17或20，我将两个模板参数传递给模板化类：TSze和Max大小。

TSze是Max大小的类型。显然，两者在编译时都是已知的。TSze需要足够大以适应Max大小。

template <typename TSize = uint8_t, TSize MaxSize = 15>
class Foo {};

如何通过MaxSize的值自动推导出TSize，这样只要设置MaxSize的值就自动拥有了？即:

if MaxSize<256 -> TSize=uint8_t
if MaxSize<65536 && MaxSize>255 -> TSize=uint16_t

非常感谢你的帮助！

Answer 1

您可以使用< code>std::conditional根据compiletime条件在两种类型之间进行选择。如果你不想改变< code>Foo，你需要一些间接的方法来为< code>Foo选择正确的类型(也许部分专门化也可以):

#include<type_traits>

template <typename TSize = uint8_t, TSize MaxSize = 15>
class Foo {};

template <unsigned value>
using Size_t_impl = typename std::conditional<(value > 255),uint16_t,uint8_t>::type;

template <unsigned value>
using FooIndirect = Foo< Size_t_impl<value>,value>;

Answer 2

你可以使用这样的东西：

template<uintmax_t n>
using FittingUIntT = std::conditional_t<
    n <= UINT8_MAX, uint8_t, std::conditional_t<
    n <= UINT16_MAX, uint16_t, std::conditional_t<
    n <= UINT32_MAX, uint32_t, uint64_t
>>>;

演示