c++ - 自动扣除部分模板类型

Question

我想编写简单的模板函数，它返回给定数字的 n lsb 位，其中 n 是模板参数，我希望它与 一起工作uint8_t、uint16_t、uint32_t、uint64_t。所以我想:

template<size_t n, typename T>
inline T align_to(const T& num) {
    static_assert(std::is_integral<T>::value, "integer required");
    static_assert(n < sizeof(T) * 8, "overflow");
    return num & (Ones(n));
}

问题是典型的用法是:

align_to<4, uint64_t>(some_uint64_t_var)

我希望编译器自动推导类型 uint64_t，我当然想提供 n。所以我正在寻找一种编译器只推导部分 os 模板 arguemtns 的方法。

Answer 1

您的align_to 函数将自动推导出T。它可以通过将 num 作为参数传递来推断:example on wandbox .

template <std::size_t n, typename T>
inline T align_to(const T& num)
{
    // ...
}

int main()
{
    std::int32_t x = 100;
    align_to<16>(x); // `T` deduced as `std::int32_t`
}

参见 cppreference - template argument deduction了解规则概览。