主页 / coding / 问题 / 77011695
Accepted
Sz.
Asked: 2023-08-31 05:46:21 +0800 CST

闹鬼的 std::向量构建

  • 772

你能猜出这个简单程序的输出吗？

#include <vector>
#include <string>
#include <exception>
#include <iostream>
using namespace std;

int main()
{
    try { 
        struct X {
            explicit X(int) {}
            X(string) {} // Just to confuse you more...
        };
        vector<X>{"a", "b"};
    } catch (exception& x) {
        cerr << x.what();
    }
}

好吧，我不能，这花了我一天的时间“研究”，然后才登陆这里，最终从一些复杂的现实生活代码中提取出来（到处都是类型别名，匿名。与非 POD 成员的联合以及手工 -精心策划的演员/导演等，只是为了营造氛围）。

而且……我还是看不出发生了什么！有人可以给一个温柔的提示吗？（希望只是一个盲点。我不再专业地从事 C++ 工作。）

注意：使用（最新的）MSVC/W4和 GCC进行干净编译* -Wall；两者的输出相同（语义上）。

* 即使没有“迷惑读者”这句话。我想我会做噩梦。

（请耐心等待，我尽量不把所有内容都拼写得更详细，以免剧透——毕竟，这确实是不言自明的，对吧？除了，对我来说恰恰相反……）

c++

1 个回答

  1. Best Answer
    std::vector<X>{"a", "b"};

    这const char*使用带有两个迭代器的构造函数从两个类型的迭代器创建一个向量：

    template< class InputIt >
constexpr vector( InputIt first, InputIt last,
                  const Allocator& alloc = Allocator() );

    使用 range 的内容构造容器[first, last)。InputIt仅当满足LegacyInputIterator时，此重载才会参与重载决策，以避免重载 (3) 产生歧义。（以下）

    constexpr vector( size_type count,
                  const T& value,
                  const Allocator& alloc = Allocator() );

    只是运气不好，两个 s 的衰减const char[]变成了满足LegacyInputIterator要求的完美迭代器。

    迭代器不指向数组/连续区域，因此程序具有未定义的行为。

    在幕后发生的事情很可能是它会尝试从第一个const char*到第二个，并在通过 后的空终止符时立即超出范围'a'。

    实际可行的类似结构：

    const char* arr = "working";

struct X {
    explicit X(int i) {
        std::cout << static_cast<char>(i); 
    }
};

const char* first = arr;     // begin iterator
const char* last = arr + 7;  // end iterator

std::vector<X>{first, last}; // prints "working"
    • 5

相关问题