카루의 프로그래밍 연구소

환영합니다, Rolling Ress의 카루입니다. ​ 오늘은 C++20에 드디어 추가된 concept에 대하여 알아보겠습니다. 템플릿 매개변수에 제약을 거는 거죠. ​ concept이란, 템플릿을 사용할 때 일정한 타입들을 묶어주는 기능이라고 생각하는 게 편합니다. 타입 이름에 별칭을 붙여주는 동시에, 그 자체로 bool값을 가지게 되죠. 에 있는 is_same_v 와 같이 ~_v 변수랑 비슷하다고 보시면 됩니다. 다만, 변수가 아니라 타입으로 쓸 수 있습니다. ​ 선언은 이렇게 합니다. template //반드시 template 필요 concept 컨셉이름 = bool값의 식 또는 requires 구문 // Concepts TS 시절에는 아래와 같은 구문도 지원했으나, 이제는 지원하지 않습니다. // ..

선택지가 2개 있으면, 그 중 하나를 고를 확률은 일반적으로 50%가 되겠죠. 그러나, 하나가 훨씬 많이 선택될 게 불보듯 뻔한 상황이 있어도, 컴파일러는 그걸 모릅니다. 개발자가 직접 알려줘야 하죠. ​ 그래서 이번에 새로 등장한 특성 [[attribute]] 이 바로 likely입니다. std::cout input; input == 0) { } else { } 위 경우에는 압도적으로 0이 많을 겁니다. 하지만 if문에서 0이 가장 위에 있고, 가장 먼저 실행될 것이니 별 필요성이 느껴지지 않죠. 다음과 같은 경우라면 어떨까요? std::cout input; input) { case 1: break; case 2: break; case 3: [[fallthrough]]; case 4: exit(0); ..

장렬히 떠나신 auto_ptr에 대한 내용은 기술하지 않겠습니다. 평소에 자주 쓰는 스마트 포인터는 shared_ptr, unique_ptr 이 둘뿐이라고 생각합니다. shared_ptr p(new int[10], [](int* p){ delete[] p; }); 아마 배열을 쓰신다면 이렇게 쓰시겠죠. 그렇다고 함수객체를 쓰기엔 너무 복잡하니까. 하지만 C++17에선 타입을 T[]라고 쓰는 것만으로도 알아서 다~ 해제해줍니다. shared_ptr p(new int[10]); 하지만 shared_ptr은 tuple이나 array와 달리 Deduction Guide가 존재하지 않습니다. (존재하긴 합니다. weak_ptr이나 unique_ptr일때만....) 그래서 제가 한번 만들어봤습니다. template..

환영합니다, Rolling Ress의 카루입니다. ​ 사실 작성한 건 3월...? 정도인데, 어쩌다가 이제서야 올리는지...아무튼 시작하겠습니다. 드디어 이걸 포스팅하는 날이 오네요. 제가 이해하는데도 상당한 시간이 걸린, Three-way Comparsion Operator 입니다. 이건 다른 것보다 클래스에서 비교 연산자를 만들 때 특히 도움이 되겠더라고요. , =, ==, != 정의할 필요 없이 auto operator 한방이면 끝납니다. ​ 일단 이게 무엇인지는 알아야겠죠. 그 전에, 중학교 3학년 수학에서 배우셨을 법한 실수의 대소비교에 대해서 알아보도록 하겠습니다. ​두 실수 a, b에 대해 반드시 위 세 가지 중 하나가 성립하죠. 한 실수에서 다른 실수를 뺀 값을 0과 비교하면 크기를 알 수..