템플릿 템플릿 매개변수란 무엇이며 C에서 템플릿 템플릿 템플릿을 사용할 수 없는 이유는 무엇입니까?

템플릿 템플릿 매개변수: 미스터리 공개

템플릿 프로그래밍 영역에서 템플릿 템플릿 매개변수의 개념은 수수께끼처럼 보일 수 있습니다. 이를 이해하려고 하면 마치 복잡한 퍼즐에 얽힌 것처럼 길을 잃은 느낌을 받을 수 있습니다.

다음 코드 조각을 접한다고 상상해 보세요.

<code class="cpp">template<template<class X> class Z = B>
class BB{};</code>

여기서 템플릿 클래스의 매개변수 목록은 BB에는 다음 줄이 포함되어 있습니다.

<code class="cpp">template<class X> class Z = B</code>

문제는 매개변수 목록(즉, 템플릿 템플릿 매개변수) 내에 나타나는 Z와 템플릿에 의해 정의된 가상 클래스 Z를 구별하는 데 있습니다.

구별 이해

템플릿 템플릿 매개변수는 일반 템플릿 유형 매개변수와 유사하지만 구체적인 유형이 아닌 템플릿을 포함합니다.

예를 들어 다음을 고려하세요. 코드:

<code class="cpp">template <typename Type>
class Foo {
    Type m_member;
};

template <template <typename Type> class TemplateType>
class Bar {
    TemplateType<int> m_ints;
};</code>

여기서 Foo는 유형 매개변수를 허용하는 간단한 템플릿 클래스인 반면 Bar는 유형 매개변수를 허용하는 템플릿 템플릿 클래스입니다.

함수 포인터와 유사

템플릿 템플릿 매개변수는 함수 포인터에 비유될 수 있습니다. 일반 템플릿이 유형을 허용하는 것처럼 일반 함수는 값과 유사한 인수를 허용합니다. 그러나 유형을 허용하는 템플릿을 허용하는 템플릿 템플릿과 유사하게 값과 같은 인수를 받는 함수 포인터를 허용하는 고차 함수가 있습니다.

템플릿 템플릿 템플릿이 불가능한 이유

템플릿 템플릿은 확실히 존재하지만 C에서는 템플릿 템플릿 템플릿이 유효한 개념이 아닙니다. 표준화 위원회는 구현 문제로 인해 템플릿 재귀를 한 수준으로 제한하기로 의도적으로 선택했습니다. 그러나 이러한 결정이 향후 도입 가능성을 막지는 못합니다.

파천적이지만 흥미로운 응용 프로그램

실제로는 드물지만 템플릿 템플릿 템플릿은 잠재력을 가지고 있습니다. 사용 사례. 그러한 예 중 하나는 그래프 검색을 위한 매우 일반적인 알고리즘을 설계하는 것입니다. 스택이나 큐와 같은 일반 데이터 구조에서 작동하고 다양한 기본 구현 컨테이너를 수용하도록 알고리즘을 작성할 수 있습니다. 이를 통해 다음과 같은 유형 대체를 통해 사용자 정의 그래프 검색 알고리즘을 생성할 수 있습니다.

<code class="cpp">search<Stack, Vector>( myGraph ); // DFS
search<Queue, Deque>( myGraph ); // BFS</code>

결론

템플릿 템플릿 매개변수를 이해하려면 템플릿에 대한 관점을 전환해야 합니다. 고차 구조로. 자주 접할 수는 없지만 복잡한 프로그래밍 문제에 대한 정교한 솔루션을 설계할 수 있는 엄청난 유연성을 제공합니다.

위 내용은 템플릿 템플릿 매개변수란 무엇이며 C에서 템플릿 템플릿 템플릿을 사용할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!