조건부 논리
std::conditional와 if constexpr
조건부 논리은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
형식과 분기 선택
형식 특성 논리를 사용하면 컴파일 시점에 형식과 코드 경로를 선택할 수 있습니다. 핵심 도구는 std::conditional과 if constexpr입니다.
조건부 형식 선택
std::conditional_t<cond, A, B>는 cond가 참이면 A가 되고, 그렇지 않으면 B가 됩니다.
#include <iostream>
#include <type_traits>
int main() {
using T = std::conditional_t<true, int, double>;
std::cout << std::is_same_v<T, int> << "\n";
return 0;
}Storage 형식 선택
일반적인 사용 사례는 큰 값에는 넓은 범위의 형식을 선택하고, 그렇지 않은 경우에는 좁은 범위의 형식을 선택하는 것입니다.
#include <iostream>
#include <type_traits>
template <bool Big>
struct Storage {
using type = std::conditional_t<Big, long long, short>;
};
int main() {
Storage<true>::type a = 10;
std::cout << sizeof(a) << "\n";
return 0;
}if constexpr 기초
if constexpr(C++17)은 컴파일 시점에 선택되지 않은 분기를 제거합니다. 주어진 타입에 대해서는 선택된 분기만 컴파일되면 됩니다.
#include <iostream>
#include <type_traits>
template <typename T>
void describe(T v) {
if constexpr (std::is_integral_v<T>)
std::cout << "integer: " << v << "\n";
else
std::cout << "other: " << v << "\n";
}
int main() {
describe(5);
describe(2.5);
return 0;
}if constexpr가 런타임 if보다 뛰어난 이유
일반 if에서는 모든 T에 대해 두 분기 모두 컴파일되어야 합니다. if constexpr에서는 제외된 분기가 인스턴스화되지 않으므로, 그렇지 않으면 유효하지 않을 타입별 코드를 포함할 수 있습니다.
타입별 연산
일반 if로는 불가능합니다. int에 대해서는 .length()가 컴파일되지 않기 때문입니다.
#include <iostream>
#include <string>
#include <type_traits>
template <typename T>
auto size_of(const T& v) {
if constexpr (std::is_same_v<T, std::string>)
return v.length();
else
return sizeof(v);
}
int main() {
std::cout << size_of(std::string("hi")) << "\n";
std::cout << size_of(42) << "\n";
return 0;
}오버로드를 위한 enable_if
if constexpr 이전에는 std::enable_if가 SFINAE를 통해 오버로드를 선택했습니다. 조건이 거짓이면 오버로드 해결 과정에서 함수를 제거합니다.
#include <iostream>
#include <type_traits>
template <typename T, std::enable_if_t<std::is_integral_v<T>, int> = 0>
void only_int(T v) { std::cout << "int " << v << "\n"; }
int main() {
only_int(7);
return 0;
}조건 결합
일반 불리언과 마찬가지로 컴파일 시점 조건에서 타입 특성을 &&, ||, !와 결합할 수 있습니다.
#include <iostream>
#include <type_traits>
template <typename T>
void check() {
if constexpr (std::is_integral_v<T> && !std::is_same_v<T, bool>)
std::cout << "non-bool integer\n";
else
std::cout << "something else\n";
}
int main() {
check<int>();
check<bool>();
return 0;
}재귀적 컴파일 시점 선택
if constexpr를 사용하면 컴파일 시점 재귀가 가능하며, 튜플이나 매개변수 팩을 요소별로 처리할 때 유용합니다.
conjunction과 disjunction
C++17은 타입 특성 목록에 대해 논리 AND/OR를 단락 평가하는 std::conjunction과 std::disjunction도 제공합니다.
적절한 도구 선택
타입을 선택하려면 conditional을, 코드를 선택하려면 if constexpr를, 오버로드 해결을 제어하려면 enable_if와 콘셉트를 사용합니다. 현대적인 코드는 명확성을 위해 if constexpr와 콘셉트를 선호합니다.
빠른 확인
if constexpr의 핵심 이점을 떠올려 보세요.
복습
컴파일 시점의 조건부 논리를 배웠습니다.
conditional_t<c,A,B>는 타입을 선택합니다if constexpr는 코드를 선택하고 다른 분기를 제거합니다enable_if는 SFINAE를 통해 오버로드 해결을 제어합니다- 논리 연산자로 타입 특성을 결합합니다
자주 묻는 질문
“조건부 논리” 강의는 무료인가요?
네 — “조건부 논리” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“조건부 논리”에서 뭘 배우나요?
std::conditional와 if constexpr 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.
“조건부 논리” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.