こんにちは、C++の初学者です。
ビャーネ・ストラウストラップ先生の『プログラミング言語C++ 第4版』から以下のexampleを引用しました。
タグ指名(tag dispatch)について、関数sort_helperの引数に、「random_access_iterator_tag」や「forward_iterator_tag」などと書くことが許されるのは何故でしょうか。なにか特別な文法なのでしょうか。ご教授願います。
#include <iostream>
#include <vector>
#include <list>
#include <iterator>
using namespace std;
template<typename C>
using Value_type = typename C::value_type;
template<typename C>
using Iterator_type = typename C::iterator;
template<typename Iter>
using Iterator_category = typename std::iterator_traits<Iter>::iterator_category;
template<typename Ran>
void sort_helper(Ran beg, Ran end, random_access_iterator_tag) {
sort(beg,end);
}
template<typename For>
void sort_helper(For beg, For end, forward_iterator_tag) {
vector<Value_type<For>> v {beg, end};
sort(v.begin(),v.end());
copy(v.begin(),v.end(),beg);
}
template<typename C>
void sort(C& c) {
using Iter = Iterator_type<C>;
sort_helper(c.begin(),c.end(),Iterator_category<Iter>{});
}
template<typename C>
void print(C& c) {
for (auto p : c) {
cout << p << " ";
}
cout << endl;
}
int main() {
vector<int> vec {1,2,4,5,7,8,5,6,98,78,45,12,65};
list<int> lst {1,2,5,8,9,6,3,4,7,32,65,45,12,13};
// sort
sort(vec);
sort(lst);
// print
print(vec);
print(lst);
}