为成员函数转发cv-ref限定符

Question

如果没有其他重载（比如，f（T

在泛型代码中，避免定义某个成员函数的4（甚至8，如果我们还考虑volatile限定符）重载是非常有用的，如果所有成员函数都执行相同的操作。

以这种方式出现的另一个问题是，在特定意义上，不可能定义*this的有效cv ref限定符。下面的代码不允许确定成员函数运算符（）的ref限定符是否为

#include <type_traits>
#include <utility>
#include <iostream>

#include <cstdlib>

#define P \
{                                                                       \
    using this_ref = decltype((*this));                                 \
    using this_type = std::remove_reference_t< this_ref >;              \
    std::cout << qual() << ' '                                          \
              << (std::is_volatile< this_type >{} ? "volatile " : "")   \
              << (std::is_const< this_type >{} ? "const " : "")         \
              << (std::is_lvalue_reference< this_ref >{} ? "&" : "&&")  \
              << std::endl;                                             \
}

struct F
{
    constexpr int qual() & { return 0; }
    constexpr int qual() const & { return 1; }
    constexpr int qual() && { return 2; }
    constexpr int qual() const && { return 3; }
    constexpr int qual() volatile & { return 4; }
    constexpr int qual() volatile const & { return 5; }
    constexpr int qual() volatile && { return 6; }
    constexpr int qual() volatile const && { return 7; }
    void operator () () & P
    void operator () () const & P
    void operator () () && P
    void operator () () const && P
    void operator () () volatile & P
    void operator () () volatile const & P
    void operator () () volatile && P
    void operator () () volatile const && P
};

int
main()
{
    {
        F v;
        F const c{};
        v();
        c();
        std::move(v)();
        std::move(c)();
    }
    {
        volatile F v;
        volatile F const c{};
        v();
        c();
        std::move(v)();
        std::move(c)();
    }
    return EXIT_SUCCESS;
}

但如果有上述语法，那就太好了。例如，decltype（（*this））表示*this的确切cv ref限定类型。在我看来，在即将发布的C标准版本中引入这种语法并不是一个突破性的改变。但是

另一个序列可以表示成员函数cv ref限定符和cv ref限定类型的*this进入其主体：auto

是否有一个关于这个问题的提案，准备在C 17中使用？




Answer 1

是的，有这样的建议。

背景：

由于我们已经在模板函数中有转发引用，您可以简单地将您的成员函数转换为模板朋友函数（并通过enable_if保护它不被F以外的任何其他类使用，如果需要）。

现在，也许你真的，真的想把你的函数用作一个成员函数，因为你真的，真的更喜欢这种语法。

建议：

查找统一的调用语法建议，例如：n4174

如果这样的东西被接受，你就可以使用自由函数，比如第一个参数的成员函数。这将涵盖您在第一条评论中链接的示例代码。诚然，它不包括操作符（），但我认为与编写8个重载相比，这是一个小麻烦：-）