Инициализация значением

#include <cassert>
#include <iostream>
#include <string>
#include <vector>
 
struct T1
{
    int mem1;
    std::string mem2;
    virtual void foo() {} // убедитесь, что T1 не является агрегатом
}; // неявный конструктор по умолчанию
 
struct T2
{
    int mem1;
    std::string mem2;
    T2(const T2&) {} // предоставленный пользователем конструктор копирования
};                   // нет конструктора по умолчанию
 
struct T3
{
    int mem1;
    std::string mem2;
    T3() {} // предоставленный пользователем конструктор по умолчанию
};
 
std::string s{}; // инициализация по умолчанию, значение равно ""
 
int main()
{
    int n{};                // scalar => инициализация нулём, значение равно 0
    assert(n == 0);
    double f = double();    // scalar => инициализация нулём, значение равно 0.0
    assert(f == 0.0);
    int* a = new int[10](); // array => инициализация значением каждого элемента
    assert(a[9] == 0);      //          значение каждого элемента равно 0
    T1 t1{};                // класс с неявным конструктором по умолчанию =>
    assert(t1.mem1 == 0);   //     t1.mem1 инициализируется нулём, значение равно 0
    assert(t1.mem2 == "");  //     t1.mem2 инициализируется по умолчанию, значение равно ""
//  T2 t2{};                // ошибка: класс без конструктора по умолчанию
    T3 t3{};                // класс с предоставленным пользователем конструктором
                            // по умолчанию =>
    std::cout << t3.mem1;   //     t3.mem1 инициализируется по умолчанию неопределённым
                            //     значением
    assert(t3.mem2 == "");  //     t3.mem2 инициализируется по умолчанию, значение равно ""
    std::vector<int> v(3);  // инициализация значения каждого элемента
    assert(v[2] == 0);      // значение каждого элемента равно 0
    std::cout << '\n';
    delete[] a;
}