我正在尝试使用“SFINAE”来实现cbor格式的大小代码,因为缺少更好的单词。但它不起作用,因为size_code<3>
例如评估为0x1b
。怎么了?
template <::std::size_t N,
typename = ::std::enable_if_t<N <= 0x17>
>
constexpr ::std::uint8_t const size_code = N;
template <::std::size_t N,
typename = ::std::enable_if_t<(N > 0x17) &&
(N <= ::std::numeric_limits<::std::uint8_t>::max())
>
>
constexpr ::std::uint8_t const size_code = 0x18;
template <::std::size_t N,
typename = ::std::enable_if_t<
(N > ::std::numeric_limits<::std::uint8_t>::max()) &&
(N <= ::std::numeric_limits<::std::uint16_t>::max())
>
>
constexpr ::std::uint8_t const size_code = 0x19;
template <::std::size_t N,
typename = ::std::enable_if_t<
(N > ::std::numeric_limits<::std::uint16_t>::max()) &&
(N <= ::std::numeric_limits<::std::uint32_t>::max())
>
>
constexpr ::std::uint8_t const size_code = 0x1a;
template <::std::size_t N,
typename = ::std::enable_if_t<
(N > ::std::numeric_limits<::std::uint32_t>::max()) &&
(N <= ::std::numeric_limits<::std::uint64_t>::max())
>
>
constexpr ::std::uint8_t const size_code = 0x1b;
答案 0 :(得分:3)
您不能重新定义这样的变量模板,因此您的代码不起作用。
使用constexpr
函数会更简单,如下所示:
template <typename T> constexpr T t_max = std::numeric_limits<T>::max();
constexpr std::uint8_t size_code (std::size_t n) {
if (n <= 0x17) return n;
if (n <= t_max<std::uint8_t>) return 0x18;
if (n <= t_max<std::uint16_t>) return 0x19;
if (n <= t_max<std::uint32_t>) return 0x1a;
if (n <= t_max<std::uint64_t>) return 0x1b;
}
答案 1 :(得分:1)
我的2美分:
template <::std::size_t N, typename = void>
constexpr ::std::uint8_t const size_code{};
template <::std::size_t N>
constexpr ::std::uint8_t const size_code<N, ::std::enable_if_t<N <= 0x17> > = N;
template <::std::size_t N>
constexpr ::std::uint8_t const size_code<N,
::std::enable_if_t<(N > 0x17) &&
(N <= ::std::numeric_limits<::std::uint8_t>::max())
>
> = 0x18;
template <::std::size_t N>
constexpr ::std::uint8_t const size_code<N,
::std::enable_if_t<
(N > ::std::numeric_limits<::std::uint8_t>::max()) &&
(N <= ::std::numeric_limits<::std::uint16_t>::max())
>
> = 0x19;
template <::std::size_t N>
constexpr ::std::uint8_t const size_code<N,
::std::enable_if_t<
(N > ::std::numeric_limits<::std::uint16_t>::max()) &&
(N <= ::std::numeric_limits<::std::uint32_t>::max())
>
> = 0x1a;
template <::std::size_t N>
constexpr ::std::uint8_t const size_code<N,
::std::enable_if_t<
(N > ::std::numeric_limits<::std::uint32_t>::max()) &&
(N <= ::std::numeric_limits<::std::uint64_t>::max())
>
> = 0x1b;