함수 템플릿의 기본 템플릿 인수

기본 템플릿 인수가 클래스 템플릿에서만 허용되는 이유는 무엇입니까? 멤버 함수 템플릿에서 기본 유형을 정의 할 수없는 이유는 무엇입니까? 예를 들면 다음과 같습니다.

struct mycclass {
  template<class T=int>
  void mymember(T* vec) {
    // ...
  }
};

대신 C ++은 기본 템플릿 인수가 클래스 템플릿에서만 허용되도록합니다.

기본 템플릿 인수를 제공하는 것이 좋습니다. 예를 들어 정렬 함수를 만들 수 있습니다.

template<typename Iterator, 
         typename Comp = std::less<
            typename std::iterator_traits<Iterator>::value_type> >
void sort(Iterator beg, Iterator end, Comp c = Comp()) {
  ...
}

C ++ 0x는 C ++을 소개합니다. Bjarne Stroustrup의이 결함 보고서 : 함수 템플릿에 대한 기본 템플릿 인수 와 그가 말한 내용 참조

함수 템플릿에 대한 기본 템플릿 인수의 금지는 독립형 함수가 2 급 시민으로 취급되어 모든 템플릿 인수가 지정된 함수가 아닌 함수 인수에서 추론되는 시간을 잘못 인식 한 것입니다.

이 제한은 멤버 함수와 다른 독립형 함수를 불필요하게 만들어 STL 스타일 코드를 작성하는 것을 어렵게하여 프로그래밍 스타일을 심각하게 제한합니다.

C ++ 템플릿 을 인용하려면 : 완전한 안내서 (207 페이지) :

템플릿이 원래 C ++ 언어에 추가되었을 때, 명시 적 함수 템플릿 인수는 유효한 구성이 아닙니다. 함수 템플릿 인수는 항상 호출 식에서 추론 할 수 있어야했습니다. 결과적으로, 기본값은 항상 추론 된 값으로 대체되므로 기본 함수 템플리트 인수를 허용하는 강력한 이유가없는 것 같습니다.

지금까지 함수 템플릿에 대한 기본 템플릿 매개 변수의 모든 예제는 과부하로 수행 할 수 있습니다.

아라크 :

struct S { 
    template <class R = int> R get_me_R() { return R(); } 
};

될 수 있습니다 :

struct S {
    template <class R> R get_me_R() { return R(); } 
    int get_me_R() { return int(); }
};

내 자신의:

template <int N = 1> int &increment(int &i) { i += N; return i; }

될 수 있습니다 :

template <int N> int &increment(int &i) { i += N; return i; }
int &increment(int &i) { return increment<1>(i); }

litb :

template<typename Iterator, typename Comp = std::less<Iterator> >
void sort(Iterator beg, Iterator end, Comp c = Comp())

될 수 있습니다 :

template<typename Iterator>
void sort(Iterator beg, Iterator end, std::less<Iterator> c = std::less<Iterator>())

template<typename Iterator, typename Comp >
void sort(Iterator beg, Iterator end, Comp c = Comp())

Stroustrup :

template <class T, class U = double>
void f(T t = 0, U u = 0);

될 수 있습니다 :

template <typename S, typename T> void f(S s = 0, T t = 0);
template <typename S> void f(S s = 0, double t = 0);

다음 코드로 증명했습니다.

#include <iostream>
#include <string>
#include <sstream>
#include <ctype.h>

template <typename T> T prettify(T t) { return t; }
std::string prettify(char c) { 
    std::stringstream ss;
    if (isprint((unsigned char)c)) {
        ss << "'" << c << "'";
    } else {
        ss << (int)c;
    }
    return ss.str();
}

template <typename S, typename T> void g(S s, T t){
    std::cout << "f<" << typeid(S).name() << "," << typeid(T).name()
        << ">(" << s << "," << prettify(t) << ")\n";
}


template <typename S, typename T> void f(S s = 0, T t = 0){
    g<S,T>(s,t);
}

template <typename S> void f(S s = 0, double t = 0) {
    g<S,double>(s, t);
}

int main() {
        f(1, 'c');         // f<int,char>(1,'c')
        f(1);              // f<int,double>(1,0)
//        f();               // error: T cannot be deduced
        f<int>();          // f<int,double>(0,0)
        f<int,char>();     // f<int,char>(0,0)
}

인쇄 된 출력은 f에 대한 각 호출의 주석과 일치하며 주석 처리 된 호출이 예상대로 컴파일되지 않습니다.

따라서 기본 템플릿 매개 변수가 "필요하지 않다"고 생각하지만 기본 함수 인수가 "필요하지 않음"과 같은 의미 일 것입니다. Stroustrup의 결함 보고서에서 알 수 있듯이, 교육되지 않은 매개 변수를 추가하는 것은 너무 늦어서 누구나 기본값을 유용하게 사용했음을 깨닫거나 인식 할 수 없었습니다. 따라서 현재 상황은 결코 표준이 아닌 함수 템플릿 버전을 기반으로합니다.

Windows에서 모든 버전의 Visual Studio를 사용하면이 오류 ( C4519 )를 경고 로 변환 하거나 다음과 같이 비활성화 할 수 있습니다.

#ifdef  _MSC_VER
#pragma warning(1 : 4519) // convert error C4519 to warning
// #pragma warning(disable : 4519) // disable error C4519
#endif

자세한 내용은 여기를 참조 하십시오 .

내가 사용하는 것은 다음 트릭입니다.

다음과 같은 기능을 원한다고 가정 해 봅시다.

template <typename E, typename ARR_E = MyArray_t<E> > void doStuff(ARR_E array)
{
    E one(1);
    array.add( one );
}

당신은 허용되지 않지만 다음 방법으로 수행합니다.

template <typename T>
struct MyArray_t {
void add(T i) 
{
    // ...
}
};

template <typename E, typename ARR_E = MyArray_t<E> >
class worker {
public:
    /*static - as you wish */ ARR_E* parr_;
    void doStuff(); /* do not make this one static also, MSVC complains */
};

template <typename E, typename ARR_E>
void worker<E, ARR_E>::doStuff()
{
    E one(1);
    parr_->add( one );
}

따라서이 방법으로 다음과 같이 사용할 수 있습니다.

MyArray_t<int> my_array;
worker<int> w;
w.parr_ = &arr;
w.doStuff();

보시다시피 두 번째 매개 변수를 명시 적으로 설정할 필요가 없습니다. 아마도 누군가에게 유용 할 것입니다.