从函数指针静态推断标准 C++98 中的函数类型参数答案

【问题标题】：Static inference of function type argument in standard C++98 from function pointer从函数指针静态推断标准 C++98 中的函数类型参数
【发布时间】：2018-06-17 04:49:11
【问题描述】：

我有一个导出一元函数的共享库，例如：

extern "C" void foo(int);
extern "C" void zoo(double);

该库由不支持 C++11 的编译器使用。我想从函数名称中静态推断结构中的函数类型。

我会写：

template <typename T, void(*)(T)> struct A{ typedef T arg_t; };

为此我必须在实例化模板时明确指定类型T，即我必须写

A<int, &foo>

而不仅仅是

A<&foo>

鉴于此信息嵌入在指针类型中，有没有办法静态提取？

【问题讨论】：

直到 C++17 才添加对 A<&foo> 之类的支持。如果没有 C++11，我认为在标准 C++ 中是不可能的。
这可能是 XY 问题。如果你写一个助手template<typename T> T get_return_type(void(*)(T))，你可以写decltype(get_return_type(&foo))。
@MSalters：如果在没有 C++11 的情况下只有 decltype 可用，那将是一个解决方案。
您可以在函数模板中执行此操作，但不幸的是，否则不能。

标签： c++ templates c++98

【解决方案1】：

我不确定你为什么只需要在结构 A 中定义一个新类型。假设它内部有一个类型为 T 的变量 v。在这种情况下，我会像这样使用 C++ 函数重载功能：

#include <stdio.h>

extern "C"
{
    void foo(int x) { printf("foo(%i)\n", x); }
    void zoo(double x) { printf("zoo(%f)\n", x); }
}


template <typename T> struct A { typedef T arg_t; arg_t v; };


void foo_zoo(int x) { foo(x); }
void foo_zoo(double x) { zoo(x); }
void foo_zoo(A<int> x) { foo(x.v); }
void foo_zoo(A<double> x) { zoo(x.v); }


int main(int argc, char **argv)
{
    int xi = 1;
    double xd = 2.0;

    A<int> ai; ai.v = 10;
    A<double> ad; ad.v = 20.0;

    foo_zoo(xi);
    foo_zoo(xd);

    foo_zoo(ai);
    foo_zoo(ad);

    return 0;
}

在这种情况下，编译器/链接器将使用正确版本的 foo_zoo 函数，而不会产生任何运行时开销。如果需要，foo_zoo 的未使用版本可能会被链接丢弃。

【讨论】：