템플릿 함수를 인수로 받아들이는 일반 함수를 C에서 어떻게 작성할 수 있습니까?

템플릿 인수로서의 템플릿 함수: 템플릿 템플릿 매개변수로 일반 함수 정의

C에서 일반 함수를 정의하는 문제는 내부 함수 자체가 일반일 때 발생할 수 있습니다. . 이 기사에서는 이 장애물을 극복하기 위해 템플릿 템플릿 매개 변수를 사용하는 솔루션을 탐색합니다.

문제를 설명하는 다음 코드 조각을 고려하십시오.

<code class="cpp">template<typename T>
void a(T t) {
   // do something
}

template<typename T>
void b(T t) {
   // something else
}

template< ...param... > // ???
void function() {
    param<SomeType>(someobj);
    param<AnotherType>(someotherobj);
}

void test() {
    function<a>();
    function<b>();
}</code>

함수 템플릿을 올바르게 정의하는 방법을 결정하는 데 어려움이 있습니다. . 이 문제를 해결하기 위해 우리는 "템플릿 템플릿 매개변수"라는 기술을 사용합니다.

템플릿 템플릿 매개변수

템플릿 템플릿 매개변수를 사용하면 템플릿 함수를 다른 템플릿에 인수로 전달할 수 있습니다. 이는 특정 템플릿 함수 집합에서 작동하는 일반 함수를 생성할 수 있는 유연성을 제공합니다.

그러나 문제가 있습니다. 템플릿 템플릿 함수를 유형으로 직접 전달할 수는 없습니다. 대신, 더미 구조에 대한 해결 방법을 사용해야 합니다.

더미 구조를 사용한 해결 방법

다음 코드는 해결 방법을 예시합니다.

<code class="cpp">template <typename T>
struct a {

    static void foo (T = T ())
    {
    }

};

template <typename T>
struct b {

    static void foo (T = T ())
    {
    }

};

struct SomeObj {};
struct SomeOtherObj {};

template <template <typename P> class T>
void function ()
{
    T<SomeObj>::foo ();
    T<SomeOtherObj>::foo ();
}

int main ()
{
    function<a>();
    function<b>();
}</code>

더미 구조 a와 b는 템플릿 기능에 대한 자리 표시자로 사용됩니다. 이는 주로 구문 요구 사항을 충족하기 위해 아무것도 하지 않는 foo 메서드를 제공합니다.

함수 템플릿은 실행할 템플릿 함수의 유형을 지정하는 템플릿 템플릿 매개변수 T를 허용합니다. 그런 다음 SomeObj와 SomeOtherObj라는 두 가지 다른 유형의 객체에 대해 foo를 호출합니다.

이 접근 방식을 사용하면 유연하고 유형이 안전한 방식으로 템플릿 함수 집합에서 작동하는 일반 함수를 정의할 수 있습니다.

위 내용은 템플릿 함수를 인수로 받아들이는 일반 함수를 C에서 어떻게 작성할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!