主页 / coding / 问题 / 79181221
Accepted
Pavel
Asked: 2024-11-12 21:03:06 +0800 CST

关于使用推断此的类方法指针的类型

  • 772

使用扣除 this 的指向类方法的指针的类型与指向自由函数的指针的类型相匹配：

#include <iostream>

struct TA
{
   void Foo(this auto&& self)
   {
       std::cout << "Foo call\n";
   }
};

void test_TA()
{
    TA  a;
    void (*fun_ptr)(TA&) = &TA::Foo<TA&>;
    (*fun_ptr)(a);
}

int main()
{
    test_TA();
}

这有点违反直觉。为什么要采用这种设计？在这种情况下，编译器使用指向类方法的指针的普通类型（）会有什么困难吗void (TA::*mem_ptr)() &？这很直观。

c++

1 个回答

  1. Best Answer

    论文中对此有一条常见问题解答：

    6.3 函数指针类型

    一个有效的问题是，具有等效成员函数的带有 this 注释的函数的类型应该是什么？只有两种选择，每种选择都有其优缺点。请假设存在以下三个函数：

    struct Y {
    int f(int, int) const&;         // exists
    int g(this Y const&, int, int); // this paper
    int h(this Y, int, int);        // this paper, by value
};

    g具有当前等价物（f），而h没有。&Y::h的类型必须是常规函数指针。

    如果我们允许g的类型为指向成员函数的指针，则h和 的类型之间就会出现g不一致。我们还会遇到实现问题，因为模板可能导致的类型不一致（这是成员函数的模板还是自由函数的模板？令人惊讶的是，两者都是！）。

    我们还获得了与任何可以想象的扩展方法提案的向前兼容性 - 出于大致相同的原因，这些提案也必须是自由函数。

    该文件最初是以另一种方式提出的，但通过 2018 年科隆的 EWG 意见，该表述被更改为当前的措辞。

    • 6

相关问题