C에서 일치하지 않는 함수 유형에 대한 암시적 변환을 방지하려면 어떻게 해야 합니까?

일치하지 않는 함수 유형에 대한 암시적 변환 방지

C에서 함수는 다양한 유형의 매개변수를 사용할 수 있습니다. 여기에는 암시적 캐스팅을 통해 함수 인수로 전달될 수 있는 사용자 정의 유형이 포함됩니다. 그러나 특정 시나리오에서는 이러한 암시적 형변환을 방지하고 선언된 함수 시그니처와 일치하는 인수로만 함수 호출을 제한하는 것이 바람직할 수 있습니다.

비구성 함수에 대한 암시적 변환을 방지하려면explicit 키워드를 사용하면 됩니다. 사용됩니다. 그러나 이 접근 방식은 함수를 구성하는 경우에만 작동하며 비구성 함수에는 작동하지 않습니다.

이 문제에 대한 한 가지 해결책은 다른 모든 유형과 일치하는 함수 템플릿을 정의하는 것입니다. 이 기술은 일치하지 않는 유형에 대한 템플릿 함수의 우선순위를 지정하여 해당 유형이 정확한 함수 시그니처가 있는 원래 함수로 전달되는 것을 방지합니다.

예:

// Original function signature requires an int
void function(int);

// Function template matches all other types
template <class T>
void function(T) = delete; // C++11 

이 접근 방식을 사용하면 정확한 서명 function(int)이 있는 원래 함수가 정수 인수가 전달될 때만 호출됩니다. 문자 또는 긴 문자와 같은 다른 항목은 함수 템플릿을 트리거하고 컴파일 오류를 발생시킵니다.

C 11 이전 방법:

C 이전 C 버전의 경우 11에서는 다른 기술을 사용할 수 있습니다.

// Creating a class to handle overload deletion
class DeleteOverload {
private:
    DeleteOverload(void*);
};

// Function template with overload deletion
template <class T>
void function(T a, DeleteOverload = 0);

// Original function with exact signature
void function(int a) {}

이 접근 방식에서는 DeleteOverload 클래스를 인스턴스화할 수 없습니다. 템플릿 인수로 사용하는 것을 효과적으로 금지합니다. 이렇게 하면 일치하지 않는 모든 유형이 템플릿 기능을 트리거하고 정확한 서명이 있는 원래 기능에 도달하는 것이 금지됩니다.

C 23 버전:

C 23 소개 이 시나리오에서 더욱 명확하게 활용될 수 있는 static_assert 기능:

void function(int); // Chosen for ints

template <class T>
void function(T) {
    static_assert(false, "function should only be called for ints");
}

int main() {
    function(1);
    // function(1l); // Error: static assertion failed
}

이 기능을 사용하면 메서드를 사용하면 오류 메시지에 해당 함수가 정수에만 사용된다는 점을 명확하게 전달하여 코드의 가독성과 이해도를 높입니다.

위 내용은 C에서 일치하지 않는 함수 유형에 대한 암시적 변환을 방지하려면 어떻게 해야 합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!