[C++ 20] Study 004 - 새로 알게된 것, 생소한 개념

본 Study 문서들은 '전문가를 위한 C++, Marc Gregoire 저' 책을 보고 작성하였다.

생소한 개념에 대해서 페이지 번호를 적도록 하겠다. 하나 하나 자세히 작성하면서 보니 너무 느리게 보게 된다.

C++은 C와 달리 (C의 특정 컴파일러는 매개변수를 받지 않는 경우 void를 적어야 할 수 있다.) 매개변수를 받지 않는 경우 void를 적지 않아도 된다.

auto 리턴 타입 - 90p

__func__: 현재 함수의 이름

attribute - 91p

[[nodiscard]] - 92p

[[maybe_unused]] - 93p

[[noreturn]] - 93p

[[deprecated]] - 95p

[[likely]], [[unlikely]] - 95p

배열 크기 구하기 - size_t arraySize { std::size(myArray) }; - 97p

C++에서 배열 사용 - std::array나 std::vector 사용 추천 - 98p

템플릿 - 12장

optional - 101p

구조적 바인딩 - 102p

제네릭 프로그래밍 - 재사용 가능한 코드 작성 - 6장 -->  이를 지원하기 위한 핵심 요소가 템플릿 - 12장

design principle of generality

객체: 데이터와 동작을 하나로 묶은 것

value에 대한 매개변수화를 확장 --> type에 대한 매개변수화가 템플릿이다 - 622p --> 나중에 볼 것

[C++ 20] Study 003 - switch statement, enum class 범위 지정, 3방향 비교 연산자

이 글 부터는 html로 작성하지 않고 코드를 대충 쓸 예정이다. 속도가 안 나온다.

                                                                                    

The code will be writeen by courier style

                                                                                    

일단 작성하고 나서 마지막에 코드형식을 바꾸도록 하자.

switch 문에 지정할 수 있는 표현식은 결괏값이 정수 타입이거나, 정수 타입으로 변환할 수 있는 타입이거나, 열거 타입이거나, 강타입 열거타입이어야 한다.

enum class mode { a, b, c };

mode md { a };

switch (md) {

    using enum mode;

    case a:

        // do something;

        [[fallthrough]]

        /* 컴파일러가 경고문을 띄우지 않게 함. 의도적인 fallthrough 임을 컴파일러에게 알린다. 어트리뷰트 중 하나임. */

    case b:

    case c:

        // do something;

        break;

}

위와 같이 using enum을 switch 문 안에서만 사용하도록 할 수 있다. 또한 switch 문에서도 초기자를 사용할 수 있다.

다음으로 3방향 비교 연산자(three-way comparison operator)에 대해 알아보자. <=> 로 표현되는 이 연산자는 표현식의 평가 결과가 같은지, 큰지, 작은지 알려준다. 정수 타입의 경우 strong_ordering, 부동소수점 타입의 경우 partial_ordering, 직접 정의한 타입에 대해 weak_ordering이 있다. 예시는 다음과 같다.

int i { 1 };

strong_ordering result { i <=> 0 };

if (result == strong_ordering::equal) { cout << "equal" << endl; };

if (result == strong_ordering::greater) { cout << "greater" << endl; };

if (result == strong_ordering::less) { cout << "less" << endl; };

named comparison function으로 비교결과를 알 수도 있다.

int i { 1 };

strong_ordering result { i <=> 0 };

if (is_eq(result)) { cout << "equal" << endl; };

if (is_gt(result)) { cout << "greater" << endl; };

if (is_lt(result)) { cout << "less" << endl; };

[C++ 20] Study 002 - enum 대신 enum class 사용, 모듈 만들어서 export, import 하기. 초기자(initializer)

enum 대신 enum class를 사용하라. enum class는 strongly typed enumeration type으로서 값이 정수로 변환되지 않고, 열거 타입 값의 scope가 자동으로 확장되지 않아 상위 스코프의 이름과 같은 이름을 사용하더라도 충돌이 생기지 않는다.

enum class PieceType {King, Queen, Rook};

PieceType piece { PieceType::King };

다음으로 모듈을 만들어보자. 모듈을 만들기 위해 모듈 파일을 만든다. 확장자는 cpp나 ixx로 하면 된다 (둘의 차이는 아직 모르겠음. MSVC 기준). 솔루션 탐색기에서 모듈 파일 우클릭 --> 속성 클릭 --> C/C++ --> 고급 --> 컴파일 옵션을 C++모듈 코드로 컴파일(/interface)로 변경한다.

모듈 파일의 내용은 다음과 같다.

// newModule.ixx
export module newModule;

메인 파일에서 해당 모듈을 import 한다. 메인 파일의 속성에서 컴파일 옵션은 C++ 모듈 내부 파티션으로 컴파일(/internalPartition) 이다.

// main.cpp
import newModule;

C++ 17에서는 초기자(initializer)가 소개되었다. if statement 안에서만 쓰이는 변수를 만들 수 있다 (붙어있는 else if 와 else 문에서도 쓸 수 있다.). 다음과 같이 사용한다.

if (int i{ 1 }; i > 0) cout << "larger than one" << endl;