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 ++ rejects it出现模板替换失败错误：

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 ）中是合理的：

非泛型lambda表达式的闭包类型，没有 lambda-capture具有公共非虚拟非显式const转换函数指向函数与C ++语言链接（7.5）有与闭包类型的函数相同的参数和返回类型 call operator。此转换函数返回的值应为函数的地址，在调用时，与调用函数具有相同的效果闭包类型的函数调用操作符。

所以我会将其归档为CLANG错误。

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

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

    template<typename... Args>
    operator std::function<void(Args...)>() const
    {
        return [](Args... args) {
            //...
        };
    }
};

int main()
{
    std::function<void(int)> f1 = foobar();
    std::function<void(double, float)> f2 = foobar();
    f1(1);
    f2(2.0, 1.0f);
}

Live Demo

变量函数指针转换

1 个答案: