임이지의 블로그

구현부 template std::string string_format(const std::string& format, Args ... args) { size_t size = snprintf(nullptr, 0, format.c_str(), args ...) + 1; // Extra space for '\0' if (size

컴퓨터 언어/C++ 2021. 4. 29. 16:31

C++ 은 객체 생성 부터 소멸 까지 프로그래머의 꼼꼼함이 필요하다. 스마트 포인터와 객체 생성 등 C++ 의 기본적인 부분을 이해 해보자. 스택(stack) 할당 스택 메모리를 할당 받아 객체를 생성하는 것을 말한다. 이러한 객체는 스코프를 벗어날 때 자동으로 소멸 된다(함수 호출/리턴이 아니더라도 중괄호 { ... }를 이용하여 얼마든지 스코프를 만들 수 있다.) 명시적으로 객체를 소멸시키지 않는다면 객체가 대입된 변수가 스포크에서 벗어나는 마지막 순간에 해당 객체의 소멸자가 호출 된다. 힙(Heap) 할당 원시 포인터를 이용하여 Foo* foo = new Foo() 위와 같이 객체를 생성하면 힙 메모리에 객체가 할당된다. 이렇게 인스턴스를 생성하면 사용후 메모리 해제를 비롯한 뒷정리를 누가 할것인지..

컴퓨터 언어/C++ 2021. 4. 29. 16:29

기본 호출 인자에 대해서는 형식 연역을 하지 않는다. template void f(T = "") { } int main() { f(1);// T 를 int로 연역한다. 따라서 f(1)을 호출한다. f();// 오류: T를 연혁할 수 없다. } 위 코드를 쓰고 싶다면 템플릿 파라미터에 대한 기본 인자를 선언해야 한다. template void f(T = "") { } Inline을 쓰지 않는 이유 일반적으로 함수 템플릿을 inline으로 선언할 필요는 없다. 평범한 인라인이 아닌 함수와 달리 인라인이 함수 템플릿도 헤더 파일에 정의할 수 있고, 이 헤더 파일을 여러 번역단위translation unit에 포함시킬 수 있다. 특정 형식에 대해 템플릿 전체를 특수화하는 경우는 예외다. 이때는 그 결과로 나온 ..

컴퓨터 언어/C++ 2021. 4. 29. 16:26

아래는 두 수를 비교하는 일반 함수이다. int, float, double 자료형에 따라서 구현을 한다면 아래와 같을 것이다. int max(int a, int b) { // b a ? a : b; } float max(float a, float b) { // b a ? a : b; } double max(double a, double b) { // b a ? a : b; } template 사용하면 어느 자료형에 상관없이 컴파일러가 Runtime(실행 시간)에 유추하여 template 인스턴..

컴퓨터 언어/C++ 2021. 4. 29. 16:23

전방 선언 큰 프로젝트를 컴파일하는 데 걸리는 시간은 #include를 얼마나 많이 그리고 얼마나 깊은 수준으로 사용하고 있느냐에 따라 달라진다. 일반적으로는 빌드 시간을 줄이기 위해 헤더 파일에 있는 #include 구문을 줄이기 위해 노력한다. 이를 위해 보통 다음의 방법들을 사용한다. 1. 거대한 헤더 포함 집합체의 헤더 파일 제거 2. 중복 헤더포함 제거 3. 전방 선언 이 중에서 이번 문서에서는 전방 선언에 관련된 내용만 다룰 것이며, 전방 선언은 헤더 포함 의존성을 최소화하기 위해 사용한다는 것을 기억해 두길 바란다. 아래와 같은 class Archer 가 있다고 하자. // Archer.h class Archer { // ... }; 전방 선언을 사용하지 않은 코드는 아래와 같이 될 것이다...

컴퓨터 언어/C++ 2020. 9. 25. 15:36

타입 추론(Type Interfac)이란 표현식의 타입을 컴파일러가 스스로 알아내는 기능이다. 타입 추론과 관련된 키워드로 auto와 decltype이 있다. auto 키워드 auto 키워드는 다음과 같이 다양한 상황에서 사용한다. 함수의 리턴 타입을 추론한다. 구조적 바인딩에 사용한다. 표현식의 타입을 추론하는 데도 사용한다. 비타입(non-type, 타입이 아닌) 템플릿 매개변수의 타입을 추론하는 데 사용한다. decltype(auto)에서 사용한다. 함수에 대한 또 다른 문법으로 사용한다. 재네릭 람다 표현식에서 사용한다. 변수를 선언할 때 타입 자리에 auto 키워드를 지정하면 그 변수의 타입은 컴파일 시간에 자동으로 추론해서 결정된다. 이러한 용도에 대한 가장 간단한 예는 다음과 같다. auto..

컴퓨터 언어/C++ 2020. 6. 22. 15:45

함수의 매개변수를 const 레퍼런스로 전달하는 코드를 자주 볼 수 있다. 얼핏 보면 모순되는 표현이라 생각할 수 있다. 원래 레퍼런스 매개변수를 사용하면 변수의 값을 다른 문맥에서 수정할 수 있는데, const로 지정해버리면 그렇게 할 수 없는 것처럼 보이기 때문이다. const 래퍼런스의 가장 큰 장점은 성능이다. 함수에 매개변수를 값으로 전달하면 그 값 전체가 복제된다. 하지만 레퍼런스로 전달하면 원본에 대한 포인터만 전달되기 때문에 원본 전체를 복제할 필요가 없다. 또한 const 레퍼런스로 전달하면 복제되지도 않고 원본 변수가 변경되지도 않는 장점을 모두 취할 수 있다. const 레퍼런스는 특히 객체를 다룰 때 유용하다. 객체는 대체로 커서 복제하는 동안 의도하지 않은 효과가 발생할 수 있기 ..

컴퓨터 언어/C++ 2020. 6. 22. 15:41

기존 C 스타일의 포인터 대신 스마트 포인터(SMART POINTER)를 사용하면 메모리와 관련하여 흔희 발생하는 문제를 방지할 수 있다. 스마트 포인터로 지정한 객체가 스코프를 벗어나면 메모리가 자동으로 해제 된다. C++에서 가장 중요한 스마트 포인터 타입은 다음 두 가지다. 둘다 헤더 파일에 정의돼 있으며 std 네임스페이스에 속해 있다. std::unique_ptr; std::shared_ptr; unique_ptr은 포인터로 가리키는 대상이 스코프를 벗어나거나 삭제될 때 할당된 메모리나 리소스도 자동으로 삭제된다는 점을 제외하면 일반 포인터와 같다. 그러나 unique_ptr이 가리키는 객체를 일반 포인터로는 가리킬 수 없다. unique_ptr은 return 문이 실행되거나 익셉션(EXCEPT..

컴퓨터 언어/C++ 2020. 6. 22. 15:38