C에서 Constexpr if/else 분기의 독점적 실행을 보장하는 방법은 무엇입니까?

Constexpr if/else 분기의 배타적 실행 보장

C에서 일련의 constexpr if/else 문을 구성할 때 다음을 수행하는 것이 바람직합니다. else 분기가 실행되지 않도록 하세요. 이는 일반적으로 다음과 같이 else 절의 모든 조건을 반복하여 수행됩니다.

static_assert(condition1 || condition2 || condition3);

그러나 이러한 반복은 특히 복잡한 조건의 경우 지루해질 수 있습니다.

종속문 사용

더 우아한 솔루션은 삭제된 문을 템플릿 매개변수에 종속되게 만드는 것입니다. 이는 다음을 통해 달성됩니다.

1. 항상 false를 반환하는 constexpr std::false_type 템플릿 정의:

template <class...> constexpr std::false_type always_false{};

2. else 절 내에서 이 템플릿 사용 if/else 문:

else {       
    static_assert(always_false<T>);
}

이 접근 방식 유효한 이유:

• C 표준의 [temp.res]/8에 따르면 템플릿 내의 constexpr if/else 문에 대해 유효한 특수화가 생성될 수 없으면 프로그램의 형식이 잘못되었습니다. .
• always_false 템플릿은 항상 false를 반환하므로 모든 항목 아래의 else 절에 대해 특수화를 생성할 수 없습니다.
• 따라서 else 절은 컴파일 타임에 절대 실행되지 않습니다.

위 내용은 C에서 Constexpr if/else 분기의 독점적 실행을 보장하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!