为什么这些函数不衰减到函数指针？

Why don't these functions decay to a function pointer?

本文关键字：函数 指针 衰减 为什么      更新时间：2023-10-16

我有一个类，它保存了一个要调用的函数指针，现在我遇到了一种情况，我希望该可调用函数保存一个自包含的引用/值(lambda(。所以我创建了我的模板化类来接受函数指针或 lambda，如下所示：

template <typename FunctionType>
class MyClass
{
public:
MyClass(FunctionType function) : function(function) {}
FunctionType function;
};

但是，似乎每次实例化此类时，编译器都会创建一个不同的类"类型"，如下所示：

int main()
{
MyClass foo([]() {return 5; });
MyClass foo2([]() {return 5; });
MyClass foo3([]() {return 5; }); // ALL THREE OF THESE SEEM TO BE DIFFERENT TYPES
MyClass foo4(static_cast<int(*)()> ([]() {return 5; })); // I THINK I CAN FORCE THEM TO BE THE SAME TYPES BY CASTING
MyClass foo5(static_cast<int(*)()> ([]() {return 5; }));
MyClass foo6(static_cast<int(*)()> ([]() {return 5; }));
std::cout << typeid(foo).name() << 'n';
std::cout << typeid(foo2).name() << 'n';
std::cout << typeid(foo3).name() << 'n';
std::cout << typeid(foo4).name() << 'n';
std::cout << typeid(foo5).name() << 'n';
std::cout << typeid(foo6).name() << 'n';
}

由此产生的输出是：

class MyClass<class <lambda_e39b14fd1b959adc3c33a259b5258211> >
class MyClass<class <lambda_de164f9f0bca248459ade49332a364c3> >
class MyClass<class <lambda_9fcf071b66983e924cb117ca1e77c4c6> >
class MyClass<int (__cdecl*)(void)>
class MyClass<int (__cdecl*)(void)>
class MyClass<int (__cdecl*)(void)>

由于我将创建数百或数千个这样的，我希望如果可能的话，情况不会如此。我将传递给我的类的大多数函数都应该是相同的类型，除了偶尔需要的不同 lambda。那么，每次我传递相同的函数类型时，编译器都会创建不同的类型吗？如果是这样的话，它似乎不是很有效。如果必须如此，那么减少编译器创建的类类型数量的最佳方法是什么？我想我是通过在创建类时强制转换为函数指针来实现的，但这似乎是一种糟糕的方式。

你可以让你的类存储一个函数指针，如下所示：

template <typename Ret, typename ...Args>
class MyClass
{
public:
MyClass(Ret (*function)(Args...)) : function(function) {}
Ret (*function)(Args...);
};

然后，您可以通过将其显式衰减到函数指针来存储 lambda：

MyClass foo( + []() {return 5; });

然后每个函数签名只会实例化一个类(无论是 lambda 还是函数(。

这是一个演示。

相关文章：