объявить определенный класс как структуру внутри параметра шаблона

Question

A класс A определен и реализован. Позже он объявлен как struct как аргумент шаблона для std::unique_ptr. Компилятор (g ++ 10.1) ничего не жалуется на это, и программу можно запустить.

#include <iostream>
#include <string>
#include <memory>

class A
{
public:
    std::string info = "Hello World!";
};

int main()
{
    std::unique_ptr<struct A> a{new A};
    std::cout << a->info << "\n";
    return 0;
}

Если я определю a без new A

std::unique_ptr<struct A> a;

Код все еще может быть скомпилированным, но во время выполнения происходит ошибка сегментации. Так почему это возможно?

Answer 1

Разрешено смешивать class и struct в объявлении , это проблема только в определении класса. Для получения дополнительных сведений см. Класс смешивания и структуру .

Ошибка сегмента во втором случае возникает из-за нулевого указателя доступа, формы неопределенного поведения.

std::unique_ptr<struct A> a; инициализирует a в «пустое» состояние. Затем a->info получит доступ к нулевому указателю, что в вашем случае вызывает ошибку сегмента.