如何在同一个模板函数上专门化几种类型？

Question

我有一个通用函数来从我的数据库中读取列。它在头文件中的原型是：

template <typename T> void sqlite3_column_template(sqlite3_stmt *stmt, int column, T& value);

这个想法是专门化这个函数来根据值类型调用这些函数：

sqlite3_column_int64(...)
sqlite3_column_double(...)
sqlite3_column_text(...)

在我的cpp 文件中，我编写了这样的专业化函数：

template <> void sqlite3_column_template(sqlite3_stmt *stmt, int column, int& value)
{
    value = sqlite3_column_int64(stmt, column);
}

template <> void sqlite3_column_template(sqlite3_stmt *stmt, int column, float& value)
{
    value = sqlite3_column_double(stmt, column);
}

template <> void sqlite3_column_template(sqlite3_stmt *stmt, int column, std::string& value)
{
    value = reinterpret_cast<const char*>(sqlite3_column_text(stmt, column));
}

我的问题是调用这个函数时的值类型可以是以下几种：

uint32_t, int32_t, int64_t
float, double

我不知道如何判断所有“整数”类型都必须调用函数sqlite3_column_int64。

float 和 double 调用 sqlite3_column_double 函数也是如此。

我该怎么做？有可能吗？

---

编辑

我使用的解决方案如下：

// the 3 functions in the header file
template <typename T> 
std::enable_if_t<std::is_integral_v<T>> sqlite3_column_template(sqlite3_stmt *stmt, int column, T& value)
{
    value = sqlite3_column_int64(stmt, column);
}

template <typename T> 
std::enable_if_t<std::is_floating_point_v<T>> sqlite3_column_template(sqlite3_stmt *stmt, int column, T& value)
{
    value = sqlite3_column_double(stmt, column);
}

template <typename T> 
std::enable_if_t<std::is_same_v<T, std::string>> sqlite3_column_template(sqlite3_stmt *stmt, int column, T& value)
{
    value = reinterpret_cast<const char*>(sqlite3_column_text(stmt, column));
}

Answer 1

如果您可以访问c++17，则可以在if constexpr的帮助下将这些专业化组合成一个函数。

类型特征：

• std::is_integral 已用于检查类型是否为整数。
• std::is_floating_point 已用于检查类型是否为浮点数。
• std::is_same_v<T, U> 已被使用 检查类型（即T和U）是否相同（用于检查 std::string)。

sqlite3_column_template 现在可以写了：

#include <type_traits> // std::is_integral, std::is_floating_point, std::is_same

template <typename T>
void sqlite3_column_template(sqlite3_stmt *stmt, int column, T& value)
{
    if constexpr (std::is_integral_v<T>) 
    {
        value = sqlite3_column_int64();
        // do something more
    }
    else if constexpr (std::is_floating_point_v<T>) 
    {
        value = sqlite3_column_double();
        // do something more
    }
    else if constexpr (std::is_same_v<T, std::string>) 
    {
        value = sqlite3_column_text();
        // do something more
    }
    else
        static_assert(false, "wrong type");
}

Answer 2

您可以使用std::enable_if 根据使用SFINAE 的类型特征有条件地从重载决议中删除函数。

• std::is_integral<T> 检查 T 是否为整数类型。
• std::is_floating_point<T> 检查 T 是否为浮点类型。

使用 enable_if 后的代码：

template <typename T> 
std::enable_if_t<std::is_integral_v<T>> sqlite3_column_template(sqlite3_stmt *stmt, int column, T& value)
{
    value = sqlite3_column_int64(stmt, column);
}

template <typename T> 
std::enable_if_t<std::is_floating_point_v<T>> sqlite3_column_template(sqlite3_stmt *stmt, int column, T& value)
{
    value = sqlite3_column_double(stmt, column);
}

void sqlite3_column_template(sqlite3_stmt *stmt, int column, std::string& value)
{
    value = reinterpret_cast<const char*>(sqlite3_column_text(stmt, column));
}