为何std::function<void()>可接收带返回值的可调用对象？设计原理是什么？

先看这段合法的C++代码：

int m() { return 42; }

int main() {
   std::function<void()> func, func2;
   
   func = m;
   func2 = [&]() -> std::string { return "This does not return void"; };
}

原本预期std::function<void()>只能绑定无返回值的可调用对象，但实际并非如此，下面分两部分解答：

一、为什么std::function要做这样的设计？ #

这是C实用主义设计的体现——在C中，调用有返回值的函数时忽略其返回值是完全合法的操作（比如直接写m();而不接收42这个返回值）。std::function<void()>的设计就是模拟这种场景：它代表“一个不需要返回值的无参数调用”，而非“一个必须返回void的无参数调用”。

这种设计能大幅提升灵活性：比如很多回调场景中，我们只关心函数执行了什么操作，不关心它的返回值。如果强制要求只能绑定返回void的可调用对象，那每次都要额外包装有返回值的函数，反而增加了冗余代码。

二、这种设计是如何实现的？ #

核心在于std::function的类型擦除机制和对返回值的处理逻辑：

• 当你把一个可调用对象赋值给std::function<void()>时，它会在内部创建一个包装器，这个包装器只要求可调用对象能被无参数调用，不严格限制返回值类型。
• 当你调用std::function<void()>的operator()时，它会触发底层可调用对象的调用，然后直接丢弃返回值——这个行为和你在代码里直接调用有返回值函数却不接收结果完全一致，符合C++的语言规则。

简单来说，类型擦除只保证调用时参数匹配，而返回值的丢弃是在调用逻辑里处理的，所以即使原可调用对象有返回值，也能被std::function<void()>兼容。

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