In addition to an implicitly-defined copy assignment operator, if a class also defines an operator= without an lvalue-reference object parameter, which of the operators must be selected? Please con...

Below is a recursive lambda expression that can compute the values of Fibonacci sequence both in runtime and during constant evaluation: auto fib = [](this auto && f, auto && p) { ...

There was some code floating around on Reddit that defined a member-function with an explicit this object parameter defined as type int. This made me wonder how this member-function could possibly ...

I wrote the following program in C++23 that compiles with gcc and clang but is rejected by msvc. I want to know is this well-formed or ill-formed etc as per the standard. Live demo struct C { void...

I recently noticed a strange issue regarding C++23 Deducing this feature. Suppose we have a struct S with a simple conversion operator: struct S { operator int() { return 42; } }; int i = S{}; S...

How do I get the return type of a lambda that has a deducing this signature using std::invoke_result_t. auto lambda = [](this auto& self, int x) -> int { return x; }; auto x = std::invok...

Is it possible to perfectly forward *this object inside member functions? If yes, then how can we do it? If no, then why not, and what alternatives do we have to achieve the same effect. Please see...

In C++23, deducing this is finally added to the standard. Based on what I've read from the proposal, it opens up a new way of creating mixins, and possible to create recursive lambdas. But I'm conf...

Let's say I have the following class X where I want to return access to an internal member: class Z { // details }; class X { std::vector<Z> vecZ; public: Z& Z(size_t index) { // ...