함수 템플릿을 부분적으로 전문화 할 수없는 이유는 무엇입니까?


87

언어 사양 이 기능 템플릿의 부분적인 전문화를 금지한다는 것을 알고 있습니다 .

나는 그것이 그것을 금지하는 이유를 알고 싶습니다. 유용하지 않습니까?

template<typename T, typename U> void f() {}   //allowed!
template<> void f<int, char>()            {}   //allowed!
template<typename T> void f<char, T>()    {}   //not allowed!
template<typename T> void f<T, int>()     {}   //not allowed!

의 경우 template<typename T, typename U> void f(T t, U u) {}template<> void f(int t, char u) {}허용된다.
dashesy jul.

10
질문이 "어떻게 비슷한 목표를 달성 할 수 있는가?"가 아니라 "이 행동의 근거가 무엇입니까"라는 질문에 사람들이 계속 해결 방법을 제공하는 것이 흥미 롭습니다.이 선택의 이유는 저도 모르지만 위원회는 기능 템플릿 부분 전문화를 금지 할 이유가 있어야합니다. 지금까지 "가장 가까운"설명은 Georgy가 게시 한 링크로, 오버로드가있을 때 함수 템플릿 부분 전문화의 잠재적 "위험"만 지적합니다. 하지만
이것이이

답변:


59

C ++ 0x에서 변경된 AFAIK.

나는 그것이 단지 감독이라고 생각합니다 (함수를 static클래스 의 구성원 으로 배치하면 더 자세한 코드로 부분적 전문화 효과를 항상 얻을 수 있다는 점을 고려 ).

관련 DR (결함 보고서)이있는 경우이를 조회 할 수 있습니다.

편집 : 이것을 확인하면 다른 사람들도 믿었지만 아무도 초안 표준에서 그러한 지원을 찾을 수 없습니다. 이 SO 스레드 는 함수 템플릿의 부분 전문화가 C ++ 0x에서 지원되지 않음 을 나타내는 것 같습니다 .

편집 2 : "함수를 static클래스 의 구성원 으로 배치"가 의미하는 바의 예 :

#include <iostream>
using namespace std;

// template<typename T, typename U> void f() {}   //allowed!
// template<> void f<int, char>()            {}   //allowed!
// template<typename T> void f<char, T>()    {}   //not allowed!
// template<typename T> void f<T, int>()     {}   //not allowed!

void say( char const s[] ) { std::cout << s << std::endl; }

namespace detail {
    template< class T, class U >
    struct F {
        static void impl() { say( "1. primary template" ); }
    };

    template<>
    struct F<int, char> {
        static void impl() { say( "2. <int, char> explicit specialization" ); }
    };

    template< class T >
    struct F< char, T > {
        static void impl() { say( "3. <char, T> partial specialization" ); }
    };

    template< class T >
    struct F< T, int > {
        static void impl() { say( "4. <T, int> partial specialization" ); }
    };
}  // namespace detail

template< class T, class U >
void f() { detail::F<T, U>::impl(); }    

int main() {
    f<char const*, double>();       // 1
    f<int, char>();                 // 2
    f<char, double>();              // 3
    f<double, int>();               // 4
}

n3225에 표준이 있습니까? 빠른 검색을했지만 찾을 수 없었습니다 : /
Matthieu M.

1
아 죄송합니다 .. 한 마디도 빠졌습니다. 문서가 있지만 특정 단락을 찾을 수 없습니다 . 당신의 편집을 부여하지만, 나는 그것이 :) 거기에없는 때문에 단순히 추측
마티유 M.

3
이것은 C ++ 0x에서 변경되지 않습니다. 나는 또한 그것의 유용성을 의심한다. 언제든지 템플릿을 오버로드하고 부분 순서를 사용할 수 있습니다 .
Johannes Schaub-litb

1
후기 업데이트 : 8 년 후 C ++ 17에서도 변경되지 않았고 C ++ 20에도 들어 가지 않는 것 같습니다. 하지만 이유를 볼 수 없습니다 ...
Aconcagua 19

이것은 개념의 가장 포괄적 인 구현이라고 생각합니다
Victor

18

글쎄, 당신은 부분적인 기능 / 메소드 전문화를 할 수 없지만 오버로딩은 할 수 있습니다.

template <typename T, typename U>
T fun(U pObj){...}

// acts like partial specialization <T, int> AFAIK 
// (based on Modern C++ Design by Alexandrescu)
template <typename T>
T fun(int pObj){...} 

방법이지만 만족하는지 모르겠습니다.


1
와우 내 마음은 템플릿으로 가득 차서 정말 간단한 일이 될 수 있다는 것을 잊었습니다. :)
Johannes

1
안타깝게도 기능을 부분적으로 전문화 한 후 가변 인자를 전달하고 싶은 경우는 아닙니다. :(
이광무

가변 템플릿을 전달하는 것이 의미하는 바가 확실하지 않으므로 부분 전문화와 어떻게 다른지 알고 싶습니다. 더 자세한 정보를 제공해 주시겠습니까?
beginpluses

모든 정수 및 부동 유형에 대해 두 개의 함수 만 원하는 경우 어떻게해야합니까?
Dmitriy Dokshin

14

일반적으로 오버로딩 문제로 인해 함수 템플릿을 전문화하지 않는 것이 좋습니다. 다음은 C / C ++ 사용자 저널의 좋은 기사입니다. http://www.gotw.ca/publications/mill17.htm

그리고 여기에는 귀하의 질문에 대한 정직한 답변이 포함되어 있습니다.

한 가지 이유는 언어가 할 수 없다고 말했기 때문에 부분적으로 전문화 할 수 없다는 것입니다.


3
이 기사는 한 번 언급되는 것 외에 부분 전문화에 관한 것이 아닙니다.
Euri Pinhollow 2017-10-17

11

클래스를 부분적으로 전문화 할 수 있으므로 펑터를 사용할 수 있습니다.

#include <iostream>

template < typename dtype , int k > struct fun
{
 int operator()()
 {
  return k ;
 }
} ;

template < typename dtype > struct fun < dtype , 0 >
{
 int operator()()
 {
  return 42 ;
 }
} ;

int main ( int argc , char * argv[] )
{
 std::cout << fun<float,5>()() << std::endl ;
 std::cout << fun<float,0>()() << std::endl ;
}

1
그런 다음 단일 함수 템플릿을 사용하여 호출을 수행하여 추악한 ()()구문을 제거 할 수 있습니다 .
tmr232
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.