unique_ptr 数组访问分段错误

Question

我通过unique_ptr访问数组元素时，出现segfault，通过vs调试，发现std::unique_ptr<T[]> p的类型和数据很奇怪，我想应该是数组，但是看起来像一个string,不管我push多少个元素，p的数据都指向“to”，其他元素是看不到的。

代码

#include <memory>
#include <string>
#include <assert.h>
#include<vector>
#include<iostream>
#include <stack>
#include <string>
#include <sstream>

template <typename T>
class FixedCapacityStockOfStrings {
public:
    FixedCapacityStockOfStrings(const int cap) {
        p = std::make_unique<T[]>(cap);
        MAX = cap;
    } 
    bool isEmpty() {
        return N == 0;
    }
    size_t const size() { return N; }
    void push(T& item){
        //assert(N < MAX - 1);
        if (N == MAX-1) resize(2 * MAX);
        p[N++] = item;
    }
    T pop() {
        assert(N > 0);
        T item = p[--N];
        p[N] = nullptr;//Segmentation fault is here
        if ( N <= MAX / 4) resize(MAX / 2);
        return item;
    }
    size_t max() const { return MAX; }
    void clear() {
        N = 0;
    }
private:
    void resize(int max) {
        auto t = std::make_unique<T[]>(max);
        for (int i = 0; i < N; i++) {
            t[i] = p[i];
        }
        p.reset();
        p = std::move(t);
        MAX = max;
    }
    std::unique_ptr<T[]> p;
    size_t N,MAX;
};

int main() {
    FixedCapacityStockOfStrings<std::string> s(100);
    std::string line,item;
    while (std::getline(std::cin, line)) {
        std::istringstream items(line);
        while (items >> item) {
            if (item != "-")
                s.push(item);
            else if (!s.isEmpty()) std::cout << s.pop() << " ";
        }
        std::cout << "(" << s.size() << " left on stack)" << " max stack : " << s.max() << std::endl;
        s.clear();
    }
}

Answer 1

请注意p[N]的类型为std::string&对于T = std::string ，那又如何

p[N] = nullptr;

确实是使用参数nullptr调用std::string::operator=(const char*) 。 这不是您可以传递给此赋值运算符的参数； 它需要一个以 0 结尾的字符串。

编辑：根据@Remy Lebeau 的建议进行了改进

您应该使用 go

p[N] = T{};

反而。

Answer 2

您忘记在构造函数中初始化N ，所以它是一个垃圾值，读取它是未定义的行为。

Answer 3

p包含一个 std::string 数组。 当您分配p[N] = nullptr时，您将 C 字符串分配给 std::string。 C 字符串是指向以 null 结尾的字符数组的指针，而 nullptr 不是有效的 C 字符串。

Answer 4

在语句中p[N] = nullptr; ，您将nullptr分配给std::string ，即Undefined Behavior 。