[C++] trivial 타입

trvial이란 사전적 의미로는 [하찮은] 등의 의미를 지니는 단어이다.
햐지만 c++에서는 수학적 의미에서의 trivial(단순한 구조의 객체)을 뜻한다.
trivial 타입이란 생성자나 소멸자, 복사자, 이동자 등의 기본 특수 멤버들이 아무것도 하지 않는 타입이다.

이게 왜 필요한가 하면.. 가끔 생성자같은게 호출되지 않는 기존 C 기능과의 호환을 위해서다.
trivial한 타입만이 생성자 등을 호출하지 않는 malloc이나 memcpy같은 기능에 사용될 수 있다.

이에 대한 판별 기능은 <type_traits> 헤더에 전부 모여있다.

이 경우엔 기본생성자 등이 아무 일도 하지 않는다.

이 경우에도 아무 일도 하지 않는다.

생성자를 따로 구현했다. 실상은 아무것도 하지 않지만 뭔가 구현을 했기 때문메 trivial이 아니게 된다.

소멸자를 이렇게 해놔도 trivial이 아니게 된다. 다른 부분에서 뭔가 구현이 될 수 있기 때문이다.

메서드의 유무는 중요하지 않다.

하지만 가상메서드가 들어간다면 trivial은 깨진다. 다형성을 지원하기 위해 메모리 상에 가상테이블이 적재되고, 이에 대한 포인터가 내장되기 때문이다.
자연히 C와의 연계가 깨진다.

멤버변수의 유무 자체는 상관없다.

하지만 이러면 암묵적으로 생성자에서 하는 일이 생겨서 trivial이 깨져버린다.

아무튼 이런식으로 해서,
is_trivial은
1.모든 특수 메서드가 default, 혹은 명시되지 않았으며, 아무런 일을 하지 않고,
2.하나의 가상메서드도 소유하지 않았음을 요구한다.
이걸 만족할때만 true를 반환해준다.

세세하게 따지자면 몹시 많다.
여기에 이 관련 요구사항들이 다 들어있다.

https://en.cppreference.com/w/cpp/header/type_traits

https://narss.tistory.com/m/entry/trivial