如何在可变参数函数包装器中强制实现类型提升？

我正在编写一个虚表（vtable）API调用包装器，通过可变参数模板实现任意参数数量的API调用。但发现部分调用只有将传入数值强制转换为long long才能正常运行：

vtablecall(pIntf, methodnumber, TRUE, 0, 0); // 崩溃

vtablecall(pIntf, methodnumber, (long long)TRUE, (long long)0, (long long)0); // 正常运行

问题在于编译器不会自动将参数转换为long long，调试显示TRUE或0这类参数会被识别为int，推测是编译器在传递给目标函数前的优化导致调用栈布局错误。

我需要的是：在模板中使用何种语法，能让所有整数参数自动提升为long long（若可行，所有实数参数提升为double）？手动添加(long long)转换易出错，且initializer_list不可用，因为部分参数可能为实数。

附带代码及调试信息 #

崩溃场景代码 #

template <typename... pack> HRESULT WINAPI vtablecall(IUnknown* pIntf, const int methodnumber, pack... args){
    HRESULT WINAPI (*psub)(IUnknown*, pack...)=(HRESULT WINAPI (*)(IUnknown*, pack...))((LPVOID**)pIntf)[0][methodnumber];
    //// 断点位置
    return psub(pIntf, std::forward<pack>(args)...);
}

int main() {
    IUnknown* pIntf=...
    int mymethodnumber=43;
    vtablecall(pIntf, mymethodnumber, pIntf, methodnumber, TRUE, 0, 0);
}

崩溃：进程退出状态为0x80131506

调用psub前的调试帧变量：

(IUnknown *) pIntf = 0x00000272be28ffa0
(const int) methodnumber = 43
(int) args = 1
(int) args = 0
(int) args = 0
(HRESULT (*)(IUnknown *, int, int, int)) psub = 0x000002aee04146ba

正常运行场景代码 #

int main() {
    IUnknown* pIntf=...
    int mymethodnumber=43;
    vtablecall(pIntf, mymethodnumber, pIntf, methodnumber, (long long)TRUE, (long long)0, (long long)0);
}

运行正常

调用psub前的调试帧变量：

(IUnknown *) pIntf = 0x0000024bd525ffa0
(const int) methodnumber = 43
(long long) args = 1
(long long) args = 0
(long long) args = 0
(HRESULT (*)(IUnknown *, long long, long long, long long)) psub = 0x0000024bd57e46ba

解决方案 #

核心思路是通过模板类型判断，自动将数值类型转换为目标类型（整数→long long，浮点→double），非数值类型保持原样转发，避免手动转换的错误。

实现方案（C++17及以上） #

利用constexpr if简化类型判断，代码更直观：

#include <type_traits>

// 单个参数的自动提升函数
template<typename T>
auto promote(T&& val) {
    if constexpr (std::is_integral_v<std::remove_reference_t<T>>) {
        // 所有整数类型（包括bool）转为long long
        return static_cast<long long>(std::forward<T>(val));
    } else if constexpr (std::is_floating_point_v<std::remove_reference_t<T>>) {
        // 所有浮点类型转为double
        return static_cast<double>(std::forward<T>(val));
    } else {
        // 非数值类型（指针、引用、对象等）直接转发
        return std::forward<T>(val);
    }
}

// 修改后的vtablecall模板
template <typename... Args> 
HRESULT WINAPI vtablecall(IUnknown* pIntf, const int methodnumber, Args&&... args){
    // 推导转换后的参数类型，生成匹配的函数指针
    using FuncPtr = HRESULT WINAPI (*)(IUnknown*, decltype(promote(std::forward<Args>(args)))...);
    FuncPtr psub = reinterpret_cast<FuncPtr>(((LPVOID**)pIntf)[0][methodnumber]);
    
    // 转发提升后的参数
    return psub(pIntf, promote(std::forward<Args>(args))...);
}

兼容C++11/14的实现方案 #

如果使用旧标准，用SFINAE实现类型判断：

#include <type_traits>

// 整数类型提升
template<typename T, typename = typename std::enable_if<std::is_integral<T>::value>::type>
long long promote(T val) {
    return static_cast<long long>(val);
}

// 浮点类型提升
template<typename T, typename = typename std::enable_if<std::is_floating_point<T>::value>::type>
double promote(T val) {
    return static_cast<double>(val);
}

// 非数值类型转发
template<typename T, typename = typename std::enable_if<!std::is_arithmetic<T>::value>::type>
T&& promote(T&& val) {
    return std::forward<T>(val);
}

// 修改后的vtablecall模板
template <typename... Args> 
HRESULT WINAPI vtablecall(IUnknown* pIntf, const int methodnumber, Args&&... args){
    using FuncPtr = HRESULT WINAPI (*)(IUnknown*, decltype(promote(std::forward<Args>(args)))...);
    FuncPtr psub = reinterpret_cast<FuncPtr>(((LPVOID**)pIntf)[0][methodnumber]);
    return psub(pIntf, promote(std::forward<Args>(args))...);
}

原理说明 #

• 崩溃的根本原因是参数类型不匹配导致的调用栈错误：目标函数期望接收long long类型参数，但你传入了int，两者栈占用空间不同，导致函数调用时栈布局混乱。
• 上述代码通过模板自动判断参数类型，将所有整数转为long long、浮点转为double，同时保留指针、引用等非数值类型的原样转发，确保函数指针的类型与目标函数完全匹配，解决栈布局问题。

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