DEDUCING this PATTERNS

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

文档主要讨论了C++标准提案P0847，该提案提出了一种新的机制，用于推断成员函数调用表达式的值类别。通过这种机制，可以在成员函数内部判断表达式是否为lvalue或rvalue，是否为const或volatile，以及其类型。文档还展示了如何通过this指针实现代码的简洁性和正确性，并探讨了未来可能的改进方向。

AI总结

# 文档总结：《Deducing this Patterns》

## 核心内容概述

1. **提案背景**
该文档主要讨论P0847提案“Deducing this”，旨在通过一种新机制，使成员函数能够推断其调用表达式的值类别（如是否为lvalue、rvalue、const或volatile），并确定表达式的类型。

2. **推导this指针的优势**
- 通过推导this指针的类型，可以简化代码并提高代码的正确性，减少重复代码。
- 例如，在成员函数中，可以通过推导this的类型来确定调用表达式是否为引用或值传递。

3. **实际应用示例**
- 示例代码展示了如何通过推导this指针的类型来实现不同行为。例如：

     struct Base {
       auto func1(this const Base& self);
       template 
       auto func2(this Self&& self);
     };

当调用`Base`或`Derived`对象的函数时，`self`的类型会根据调用方式自动推导。

4. **为什么不总是推导this指针？**
- 虽然推导this指针有诸多好处，但在某些情况下（如this指针被隐藏或重定义时），可能会导致问题。因此，推导this指针并非在所有情况下都适用。

5. **ADT风格的优势**
- 推导this指针可以减少代码重复，并通过编译器保证代码的正确性。
- 例如，通过推导this指针，可以避免手动管理引用或值传递的复杂性。

6. **新可能性**
P0847提案还为一些新的用例提供了支持，例如通过值传递this指针，而不是传统的引用传递。例如：

   struct less_than {
     template 
     bool operator()(this less_than, const T& lhs, const U& rhs) {
       return lhs < rhs;
     }
   };
   less_than({}(4, 5);

7. **潜在问题与挑战**
- 在某些情况下，推导this指针可能导致命名冲突或类型歧义。例如：

     struct Base {
       auto f(this auto&& self) {
         return self.Base::i;
       }
     };
     struct Derived : Base {
       double i;
     };

这种情况需要额外的处理来避免冲突。

---

## 总结
P0847提案通过推导this指针的类型，为C++编程提供了更灵活和强大的类型推导机制。它能够简化代码、减少重复，并提高代码的正确性。然而，在实际应用中仍需注意潜在的命名冲突和类型歧义问题。该提案为C++标准库和用户代码的开发提供了新的可能性，值得进一步关注和研究。