auto 키워드와 타입 추론

std::vector<std::pair<std::string, int> > my_map;
// ...
std::vector<std::pair<std::string, int> >::iterator it = my_map.begin(); // 매우 김!

auto 변수이름 = 초기화_식;

#include <typeinfo>
#include <iostream>
#include <string>
#include <vector>

int main() {
    auto i = 10;            // int로 추론됨
    auto d = 3.14;          // double로 추론됨
    auto s = "Hello";       // const char*로 추론됨
    auto name = std::string("Alice"); // std::string으로 추론됨
    auto b = true;          // bool로 추론됨

    std::cout << "i: " << i << ", type: " << typeid(i).name() << std::endl;
    std::cout << "d: " << d << ", type: " << typeid(d).name() << std::endl;
    std::cout << "s: " << s << ", type: " << typeid(s).name() << std::endl;
    std::cout << "name: " << name << ", type: " << typeid(name).name() << std::endl;
    std::cout << "b: " << b << ", type: " << typeid(b).name() << std::endl;

    std::vector<int> numbers = {1, 2, 3};
    auto it = numbers.begin(); // std::vector<int>::iterator 로 추론됨
    std::cout << "*it: " << *it << ", type: " << typeid(it).name() << std::endl;

    auto& ref_i = i; // int& (참조)로 추론됨
    std::cout << "ref_i: " << ref_i << ", type: " << typeid(ref_i).name() << std::endl;

    const auto const_i = 20; // const int 로 추론됨
    std::cout << "const_i: " << const_i << ", type: " << typeid(const_i).name() << std::endl;

    return 0;
}

#include <iostream>
#include <vector>
#include <typeinfo> // typeid를 위해

int main() {
    int arr[] = {1, 2, 3};
    auto a1 = arr; // int* 로 추론됨 (배열은 포인터로 붕괴)
    std::cout << "a1 type: " << typeid(a1).name() << std::endl;

    const int c_val = 100;
    auto a2 = c_val; // int 로 추론됨 (const 한정자 제거)
    std::cout << "a2 type: " << typeid(a2).name() << std::endl;

    int& ref_val = arr[0];
    auto a3 = ref_val; // int 로 추론됨 (참조는 참조되는 타입으로 붕괴)
    std::cout << "a3 type: " << typeid(a3).name() << std::endl;

    // 만약 const나 참조를 유지하고 싶다면, 명시적으로 auto& 또는 const auto&를 사용해야 합니다.
    const int c_val_2 = 200;
    const auto& a4 = c_val_2; // const int& 로 추론됨 (const와 참조 유지)
    std::cout << "a4 type: " << typeid(a4).name() << std::endl;

    return 0;
}

#include <initializer_list>
#include <iostream>
#include <type_traits>

int main() {
    int source = 10;
    auto copied = source;
    auto& alias = source;
    const int fixed = 30;
    auto& readOnly = fixed;
    const int* const originalPointer = &fixed;
    auto pointerCopy = originalPointer;
    int arr[] = {1, 2, 3};
    auto pointer = arr;
    auto& wholeArray = arr;
    auto one{1};
    auto list = {1};

    static_assert(std::is_same_v<decltype(copied), int>);
    static_assert(std::is_same_v<decltype(alias), int&>);
    static_assert(std::is_same_v<decltype(readOnly), const int&>);
    static_assert(std::is_same_v<decltype(pointerCopy), const int*>);
    static_assert(std::is_same_v<decltype(pointer), int*>);
    static_assert(std::is_same_v<decltype(wholeArray), int (&)[3]>);
    static_assert(std::is_same_v<decltype(one), int>);
    static_assert(std::is_same_v<decltype(list), std::initializer_list<int>>);

    copied = 99;
    alias = 20;
    pointer[1] = 7;
    std::cout << source << ' ' << copied << ' ' << wholeArray[1] << '\n';
}