C++如何仅在int可转换为模板参数类型时完成赋值操作

你的代码存在两个核心问题：

• 普通if是运行时分支判断逻辑，编译器在实例化模板函数的时候，会对整个函数体的所有代码做语法检查，不会因为if条件恒为假就跳过对应分支的编译。当你传入std::string这类不支持int转换的类型时，即使std::is_convertible_v<int, T>的值是false，分支里的param = static_cast<T>(int_value)代码仍然会被编译，自然就触发类型转换错误。
• 额外有个小笔误：你的代码里if(std::is_convertible_v<int, T>{少写了右括号，正确写法是if(std::is_convertible_v<int, T>)。

C++17及以上版本 #

直接使用编译期分支if constexpr，不满足条件的分支会在编译期被丢弃，不会参与实例化，完全避免无效代码的编译检查：

#include <type_traits>

template <typename T>
void getInt(T& param)
{
    int int_value = calculate_int_value();
    if constexpr (std::is_convertible_v<int, T>) {
        param = static_cast<T>(int_value);
    }
}

C++11/14版本 #

用SFINAE特性做重载分发，分别实现转换合法和不合法的两个版本：

#include <type_traits>

// 支持int转T时调用的版本
template <typename T>
typename std::enable_if<std::is_convertible<int, T>::value, void>::type 
getInt(T& param)
{
    int int_value = calculate_int_value();
    param = static_cast<T>(int_value);
}

// 不支持int转T时调用的版本，空实现
template <typename T>
typename std::enable_if<!std::is_convertible<int, T>::value, void>::type 
getInt(T& param)
{
}

内容的提问来源于stack exchange，提问作者Kuzon Fire