使用C＆＃x2B;＆＃x2b;＆＃x2B; 23在编译器资源管理器上的23个功能期望

Question

我在youtube上观看了一个C ++ con视频，发现在这里。

我对这些新概念感兴趣。我尝试从幻灯片27和29的代码片段 @23：00- @26：30实现。我的代码有一个微妙的差异，在其中我将operator（）（）添加到my_function类中，以便在main中使用自动范围循环（ ）。

另外，我必须在sort_by（）函数中修改sell_than通过使用其operator（）（）（）来调用函数>，以使编译器Explorer到编译代码。

这是我编译的代码的版本：

#include <iostream>
#include <vector>
#include <algorithm>

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

struct my_vector : std::vector<int> {
    using std::vector<int>::vector;

    auto sorted_by(this my_vector self, auto comp) -> my_vector {
        std::sort(self.begin(), self.end(), comp);
        return self;
    }

    my_vector& operator()() {
        return *this;
    }
};

int main() {
    my_vector{3,1,4,1,5,9,2,6,5}.sorted_by(less_than());

    for (auto v : my_vector()) {
        std::cout << v << " ";
    }

    return 0;
}

这是我指向 Compiler Explorer 的链接编译的代码，汇编以及执行的输出。

该代码确实编译并执行。 main（）中的向量确实包含其初始化器列表构造函数中可以看到的值。但是，似乎没有任何印刷到标准输出，或者是在C ++执行的同一条线中构造，分类然后销毁的，然后在自动范围循环中引用它之前，它不在范围内。

视频中此时的主题是关于自动推论该指针，以简化构建模式以降低crtp的复杂性，而这里的概念是引入by-value以下内容：移动链。

是的，这是实验性的，可能会在整个C ++ 23语言标准进行实施和发布之前发生变化。

我只是在寻找洞察力和清晰度，以确保根据编译器资源管理器，本演讲的主题以及新的语言功能的未来会带来什么，我了解我的代码中正在发生的事情。

我的假设是为什么我的输出不正确吗？它与对外的寿命，可见度和或出现范围有关吗？

Answer 1

我不能说我对C ++ 23了解很多，但我认为您的问题与Per-Se有关。这是：

for (auto v : my_vector()) ...

默认构建一个（空的，临时的）向量，然后在其上运行循环范围，MSVC显然足够聪明，可以看到这实际上是一个无op并将整个东西扔掉。

但是，如果您这样做：

for (auto v : my_vector{3,1,4,1,5,9,2,6,5}.sorted_by(less_than())) ...

那么，生成了合理代码的东西。 可惜我们无法运行它。稍微扩大了右侧的窗格，以查看程序输出！

godbolt链接