变量函数指针转换

Question

我正在编写一个包含许多函数对象的库,这些函数对象的类具有多个operator()重载,这些重载不依赖于类的状态而不会改变它.现在,我试图让我的代码使用许多旧式API(它不是随机需要,我实际上不得不处理这样的API),因此决定使函数对象可以转换为任何一个对应的函数指针重载.在某些时候,我意识到我有太多这样的转换来运行指针运算符,我理论上应该能够编写一个可变转换运算符.这是一个实现这种可变参数运算符的类:

struct foobar
{
    template<typename... Args>
    using fptr_t = void(*)(Args... args);

    template<typename... Args>
    operator fptr_t<Args...>() const
    {
        return [](Args... args) {
            // Whatever
        };
    }
};

如您所见,我使用lambda转换函数指针来实现转换运算符,这不是问题,因为我拥有的每个函数对象都是无状态的.目标是能够使用如下类:

int main()
{
    void(*foo)(int) = foobar();
    void(*bar)(float, double) = foobar();
}

g ++使用预期的语义编译此代码没有问题.但是,clang ++ 拒绝它时出现模板替换失败错误:

main.cpp:21:11: error: no viable conversion from 'foobar' to 'void (*)(int)'
    void(*foo)(int) = foobar();
          ^           ~~~~~~~~
main.cpp:11:5: note: candidate function [with Args = int]
    operator fptr_t<Args...>() const
    ^
1 error generated.

请注意,只要不涉及可变参数模板,clang ++对此类转换运算符没有任何问题.如果我使用单个模板参数,编译代码就没有问题.现在,编译器是接受还是拒绝上面的代码？

Answer 1

如果 lambda 不捕获，则只能将其转换为函数指针，因此您的代码应该可以工作。这在标准5.1.2/p6 Lambda 表达式 [expr.prim.lambda] ( Emphasis Mine ) 中得到了证明：

\n\n

\n

不带 lambda 捕获的非泛型 lambda 表达式的闭包类型有一个公共非虚拟非显式 const 转换函数，用于指向具有 C++ 语言链接 (7.5) 的函数的指针，该函数具有相同的参数和返回类型作为闭包类型\xe2\x80\x99s 函数\n 调用运算符。此转换函数返回的值应为函数的地址，该函数在调用时与调用闭包类型 xe2x80x99s 函数调用运算符具有相同的效果。

\n

\n\n

所以我会将其归档为 CLANG bug。

\n\n

作为 CLANG 的解决方法，您可以将其转换为 a ，std::function如下所示：

\n\n

struct foobar\n{\n    template<typename... Args>\n    using fptr_t = void(*)(Args... args);\n\n    template<typename... Args>\n    operator std::function<void(Args...)>() const\n    {\n        return [](Args... args) {\n            //...\n        };\n    }\n};\n\nint main()\n{\n    std::function<void(int)> f1 = foobar();\n    std::function<void(double, float)> f2 = foobar();\n    f1(1);\n    f2(2.0, 1.0f);\n}\n

\n\n

现场演示

\n