我尝试实现一个元函数来检查一个整数类型是否是另一个整数类型的子集。它应该独立于平台,并且至少可以与 C++ 标准定义的所有数字类型一起使用。我当前的实现有 5 个分支。我有两个问题。
- 我会错过任何案例吗?
- 第4个分支是必要的吗?
template <typename T1, typename T2>
constexpr bool is_subset(T1, T2)
{
if constexpr (std::is_same_v<T1, T2>)
{
return true;
}
if constexpr (std::is_same_v<T1, std::uintmax_t>)
{
return false;
}
else if constexpr (std::is_same_v<T1, std::intmax_t>)
{
return false;
}
else if constexpr (std::is_unsigned_v<T1> && std::is_unsigned_v<T2>)
{
return static_cast<std::uintmax_t>(std::numeric_limits<T1>::min()) >= static_cast<std::uintmax_t>(std::numeric_limits<T2>::min()) &&
static_cast<std::uintmax_t>(std::numeric_limits<T1>::max()) <= static_cast<std::uintmax_t>(std::numeric_limits<T2>::max())
}
else
{
return static_cast<std::intmax_t>(std::numeric_limits<T1>::min()) >= static_cast<std::intmax_t>(std::numeric_limits<T2>::min()) &&
static_cast<std::intmax_t>(std::numeric_limits<T1>::max()) <= static_cast<std::intmax_t>(std::numeric_limits<T2>::max())
}
}
修复了 intmax_t == long 的实现:
template <typename T1, typename T2>
constexpr bool is_subset2(T1, T2) noexcept
{
if constexpr (sizeof(T1) == sizeof(T2) && std::is_signed_v<T1> == std::is_signed_v<T2>)
{
return true;
}
else if constexpr (sizeof(T1) == sizeof(std::intmax_t))
{
return false;
}
else if constexpr (std::is_unsigned_v<T1> && std::is_unsigned_v<T2>)
{
return static_cast<std::uintmax_t>(std::numeric_limits<T1>::min()) >= static_cast<std::uintmax_t>(std::numeric_limits<T2>::min()) &&
static_cast<std::uintmax_t>(std::numeric_limits<T1>::max()) <= static_cast<std::uintmax_t>(std::numeric_limits<T2>::max());
}
else
{
return static_cast<std::intmax_t>(std::numeric_limits<T1>::min()) >= static_cast<std::intmax_t>(std::numeric_limits<T2>::min()) &&
static_cast<std::intmax_t>(std::numeric_limits<T1>::max()) <= static_cast<std::intmax_t>(std::numeric_limits<T2>::max());
}
}