전체 글 298

콘텐츠의 미래

옐로우스톤 국립공원의 화재에 대한 대처 방법 소개로 부터 이 책은 시작한다. 화재가 나면 당연히 불을꺼야 하는데 오히려 자연적으로 진화가 되도록 내버려 둘 때도 있다. 생각치도 못했던 사고의 전환이었다. 이러한 사고의 전환은 책을 읽는 내내 이어 졌다. 노르웨이의 작은 신문사 십스테드가 42개국의 광고를 점령, 애플의 스티브 잡스가 PC 시장에서 얻은 교훈으로 아이팟, 아이폰으로 성공, 뉴욕타임스가 모두들 안 될 것이라고 했던 디지털 신문의 유료화를 성공, 인터피디아는 실패 했디만 위키피디아가 성공한 이유, 넷플릭스, 아마존, 텐센트, 페이스북 등이 관계를 이해하고 성공한 이야기 들을 전하고 있다. CD 시장에서 인터넷의 발달하고 mp3 파일 불법 복제로 인해 음악 시장이 망할 것으로 생각하였으나 음악 ..

독서 리뷰 2020.09.09

[C++] Closure(클로저)

Closure? Lexical binding을 지원하는 함수형 언어로 부터 파생된 개념이며, 코드 블럭을 정의할때 스코프내의 환경들을 기억하여 나중에 수행될 때도 원래의 환경에 따라 수행되는 것을 말합니다. 람다 표현식 VS 클로저 스콧 마이어(Scott Meyers)는 "람다와 클로저의 차이는 클래스와 클래스 인스턴스 사이의 차이점과 동일하다"라는 좋은 예를 들었습니다. 클래스는 오직 소스 코드에만 존재하며 런타임에 존재하지 않습니다. 클래스 인스턴스만이 런타임에 존재합니다. 즉, C++에서는 람다 표현식이 인스턴스화 된 것을 클로저라 합니다. 클로저의 예 #include #include std::function closureWrapper1() { int x = 10; return [x](){std::..

[Effective Modern C++] 항목 4: 연역된 형식을 파악하는 방법을 알아두라

형식 연역의 결과를 직접 확인 하는 수단으로서 코드를 작성/수정하는 시점에서, 컴파일 시점에서, 실행 시점에서 형식 연역 정보를 얻는 방법을 살펴보겠습니다. IDE 편집기 IDE의 코드 편집기 중에서 프로그램 개체(변수, 매개변수, 함수 등) 위에 마우스 커서를 올리면 그 개체의 형식을 표시해 주는 것이 많습니다. const int theAnswer= 42; auto x = theAnswer; auto y = &theAnswer; IDE 편집기는 x의 연역된 형식이 int이고 y의 연역된 형식이 const int*임을 표시해 줄 것입니다. 컴파일 가능 상태여야 편집기에서 요청된 개체의 형식을 표시 할 수 있을 것입니다. 간단한 경우에는 IDE가 알려준 정보가 쓸만합니다. 그러나, 복잡한 형식에서는 그리고..

[Effective Modern C++] 항목 3: decltype의 작동 방식을 숙지하라

decltype은 주어진 식의 구체적인 타입 그대로 전달하는(추출하는) 키워드입니다. 대부분은 예측한 형식 추출되지만 가끔씩 그렇지 않은 경우가 있습니다. decltype 과 auto에 관한 설명을 참고해주세요.decltype의 일반적 쓰임먼저 decltype의 명확한 경우들을 살펴봅시다.const int i = 0; // decltype(i)는 const int bool f(const Widget& w) // decltype(w)는 const Widget& // decltype(f)는 bool(const Widget&) struct Point{ int x; // decltype(Point::x)는 int int y; // decltype(Point::y)는 int }; Widget w; // declt..

[Effective Modern C++] 항목 2: auto의 형식 연역 규칙에 숙지하라

항목 1에서 템플릿 형식 연역을 알고 있다면 auto 형식 연역에 관해 알아야 할 것은 거의 알고 있는 셈입니다. 예외를 빼면 auto 형식 연역이 곧 템플릿 형식 연역이기 때문입니다. auto를 이용해서 변수를 선언할 때 auto는 템플릿의 T와 동일한 역할을 하며, 변수의 형식 지정자(type specifier)는 ParamType과 동일한 역할을 합니다. (T, ParamType이 무엇인지 모른다면 항목 1을 살펴봐주세요.) auto x = 27; // x의 형식 지정자는 auto const auto cx = x; // cx의 형식 지정자는 const auto const auto& rx = x; // rx의 형식 지정자는 const auto& 이 예들에서 x와 cx, rx의 형식들을 연역할 때, 컴..

[Effective Modern C++] 항목 1: 템플릿 형식 연역 규칙을 숙지하라

항목 1: 템플릿 형식 연역 규칙을 숙지하라 템플릿 선언은 다음과 같은 모습입니다. template void f(ParamType param); 호출하는 코드는 다음과 같은 모습니다. f(expr); 예를 들어 템플릿의 선언이 다음과 같습니다. template void f(const T& param); 그리고 이를 다음과 같이 호출한다고 합시다. int x = 0; f(x); T가 expr의 형식일 것이라고 기대합니다. 실제로 위의 예제에서 x는 int이고 T는 int로 연역됩니다. 그러나 항상 그런 것이 아닙니다. T에 대해 연역된 형식은 expr의 형식과 Paramtype의 형태에 의존합니다. 그 형태에 따라 총 세가지 경우로 나뉩니다. ParamType이 포인터 또는 레퍼런스이지만 Universal..

[C++] Online C++ 컴파일러

온라인 컴파일을 사용하면 매우 유용합니다. Wandbox https://wandbox.org/ [Wandbox]三へ( へ՞ਊ ՞)へ ハッハッ wandbox.org Compiler Explorer https://gcc.godbolt.org/ Compiler Explorer gcc.godbolt.org 각종 CPU, 컴파일러별 어샘블리 코드를 바로 볼 수 있습니다. Quick C++ Benchmarks https://quick-bench.com/ Quick C++ Benchmarks Quickly benchmark C++ runtimes quick-bench.com

[C++] decltype 과 auto

decltype은 주어진 식의 구체적인 타입 그대로 전달하는(추출하는) 키워드입니다. decltype(expression) auto는 상응하는 타입을 추론하는 키워드라면, declytype은 상응하는 타입을 추출하는 키워드 입니다. const int n = 1; auto m = i; // auto는 추론되며 int decltype(i) k = i; // decltype(i)는 추출되어 const int decltype의 expression에 식별자(객체의 이름)가 아닌 expression이 온다면 어떻게 추출 되는지를 알아야 합니다. 이를 알기 위해서는 lvalue, prvalue, xvalue가 무엇인지 명확히 알아야 하며 Type Category를 참고해주세요. [객체 지향 프로그래밍/C++ 프로그래..

[C++] 문자열 리터럴이 lvalue인 이유

C 문자열 리터럴은 Lvalue 입니다. C의 lvalue와 rvalue를 가집니다. 직관적으로 생각하면 lvalue은 왼쪽에 올 수 있는 표현들을 rvalue는 오른쪽에 올 수 있는 표현들입니다. 예를 들면 다음과 같이 두 항당 문이 있다고 생각해 봅시다. int x; x = 1; // OK 1 = x; // Error 첫번째 문장은 x가 lvalue이고 1이 rvlaue이며 이상없습니다. 두번째 문장은 왼쪽에 rvalue가 왔기 때문에 에러가 발생합니다. 러터럴(literal)은 일반저긍로 7, tue, 1.0f와 같은 rvalue들을 말합니다. 이는 리터럴들은 할당 표현에서 오른쪽에 올 수 있습니다. 그러나, 예외의 경우가 있습니다. 문자열 리터럴(예:"hello")는 실제로는 lvalue입니다. ..

C++ Type Category

glvalue(generalized lvalue)는 일반화된 좌측값 rvalue는 우측값 lvalue는 좌측값 xvalue(eXpiring value)는 소멸하는 값 prvalue(pure rvalue)는 순수 우측값 C++에서 타입 카테고리를 따질 때 크게 두 가지로 구분 합니다. Identity(정체를 알 수 있는가?) Movable(이동 시킬 수 있는가?) 모든 타입은 다음과 같이 다섯 가지고 구분 할 수 있어요. lvalue Identity && Not Movable 즉, 정체를 알 수 있고 이동 시킬 수 없습니다. int n; int m; n과 m은 정체를 알 수 있나요? n와 m은 다른 주소를 가지고 있고 이 주소값들에 의해서 구분 됩니다. 즉, 정체를 알 수 있습니다. 그렇다면 이동은 가능한..