指向 c++ 中具有自动返回'type'的模板成员的指针？

Pointer to a template member with auto return 'type' in c++?

本文关键字：c++ 成员 指针 type 返回 指向      更新时间：2023-10-16

我以前不得不在各种情况下使用指向成员函数的指针。通常，我使用mem_fun.但是，这是我第一次尝试在返回auto的成员模板上使用它。如果成员不是模板，它确实适用于返回auto类型"，如果指定了返回类型，则它适用于成员模板。另外，我尝试将预期的类型直接传递到mem_fun()但没有帮助。

任何不依赖mem_fun()的替代解决方案也将不胜感激。

下面是由于以下错误而无法编译的代码：

调用"mem_fun（）"没有匹配函数。

应该注意的是，如果auto被替换为int则代码将编译。此外，如果保留 auto，但template<int N>和<1>，则代码也会按预期编译和工作。

class Q
{
public:
    int myq;
    template<int N>
    auto mymethod(int a)
        {
            std::cout << myq*a << std::endl;
        }
    void setint(int a)
        {
            myq = a;
        }
};

int main()
{
    boost::function<void (int)> p_member;
    Q q;
    p_member = std::bind1st(
        std::mem_fun(
            &Q::mymethod<1>
            ),
        &q
        );
    q.setint(1);
    p_member(100);
//...
}

这并不是特定于auto，它是GCC的一般限制。在某些情况下，它只是没有意识到，如果在指定模板参数后只有一个可能的函数可以引用，它会引用该函数。对于大多数代码来说，这并不重要，对于大多数重要的情况下，GCC 已经解决了这些限制，但有时它确实浮出水面。不久前，我报告了一个类似的问题：

template <int> void f() {}
int main() { return f<0> != f<0>; }

这应该将f<0>的地址与f<0>的地址进行比较，所以应该返回零，但GCC无法确定f<0>没有重载，并抱怨：

错误：类型"<未解析的重载函数类型>"和<"未解析的重载函数类型>"的操作数无效为二进制"运算符！="

在这里，一种解决方法是添加一个毫无意义的无操作，说服编译器在确定类型时更加努力：return &f<0> != &f<0>;确实有效。

类似的方法也可以用于代码。尽管无法在此处添加&运算符，但其他无操作确实有效：

p_member = std::bind1st(
    std::mem_fun(
        true ? &Q::mymethod<1> : nullptr
        ),
    &q
    );

我认为没有理由认为您的代码可能无效。它被其他编译器（至少是 clang）接受，如果它无效，那么出于完全相同的原因，我在这里的解决方法肯定会无效。

相关文章：