อาร์กิวเมนต์แม่แบบเริ่มต้นสำหรับแม่แบบฟังก์ชัน

เหตุใดแม่แบบเริ่มต้นจึงอนุญาตให้ใช้เฉพาะในแม่แบบชั้นเรียนเท่านั้น ทำไมเราไม่สามารถกำหนดประเภทเริ่มต้นในเทมเพลตฟังก์ชันสมาชิกได้? ตัวอย่างเช่น:

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: อาร์กิวเมนต์เทมเพลตเริ่มต้นสำหรับเทมเพลตฟังก์ชันและสิ่งที่เขาพูด

ข้อห้ามของอาร์กิวเมนต์เท็มเพลตเริ่มต้นสำหรับเท็มเพลตฟังก์ชั่นเป็นเศษเล็กเศษน้อยที่ผิดพลาดของเวลาที่ฟังก์ชั่นอิสระได้รับการปฏิบัติในฐานะพลเมืองชั้นสองและต้องการให้อาร์กิวเมนต์เท็มเพลตทั้งหมดถูกอนุมานจากฟังก์ชันอาร์กิวเมนต์

ข้อ จำกัด เกิดปัญหาสไตล์การเขียนโปรแกรมอย่างรุนแรงโดยการทำให้ฟังก์ชั่นอิสระแตกต่างจากฟังก์ชั่นสมาชิกโดยไม่จำเป็นดังนั้นจึงยากที่จะเขียนโค้ดสไตล์ 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();

ในขณะที่เราสามารถเห็นไม่จำเป็นต้องตั้งค่าพารามิเตอร์ที่สองอย่างชัดเจน บางทีมันอาจจะมีประโยชน์สำหรับใครบางคน