私は型特性の概念を学ぼうとしています。そして、私は自分の理解をテストするためにいくつかのコードを書きました:
#include <iostream>
#include <typeinfo>
#include <utility>
class Normal1 {};
class Normal2 {};
class Special {};
struct Normal_tag {};
struct Special_tag {};
template <typename T>
struct trait {
typedef Normal_tag Type;
};
template <>
struct trait<Special> {
typedef Special_tag Type;
};
template <typename T>
void handle_impl(T&& object, Normal_tag) {
std::cout << "normal called\n";
}
template <typename T>
void handle_impl(T&& object, Special_tag) {
std::cout << "special called\n";
}
// method 1: can't pass in rvalue
// template <typename T>
// void handle(T& object) {
// handle_impl(object, typename trait<T>::Type());
// std::cout << '\t' << typeid(T).name() << '\n'
// << '\t' << typeid(typename trait<T>::Type).name() << '\n';
// }
// method 2: always lvalue
// template <typename T>
// void handle(const T& object) {
// handle_impl(object, typename trait<T>::Type());
// std::cout << '\t' << typeid(T).name() << '\n'
// << '\t' << typeid(typename trait<T>::Type).name() << '\n';
// }
// method 3: try to use universal reference
template <typename T>
void handle(T&& object) {
// handle_impl(object, typename trait<T>::Type());
handle_impl(std::forward<T>(object), typename trait<T>::Type());
std::cout << '\t' << typeid(T).name() << '\n'
<< '\t' << typeid(typename trait<T>::Type).name() << '\n';
}
int main(int argc, char *argv[])
{
Normal1 n1;
Normal2 n2;
Special sp;
handle(sp); // This line
handle(n1);
handle(n2);
handle(Special());
handle(Normal1());
handle(Normal2());
return 0;
}
以下の出力は私が期待したものではありません。lvalue引数とrvalue引数の両方に対して特別なメソッドを呼び出す必要があります。
normal called
7Special
10Normal_tag
normal called
7Normal1
10Normal_tag
normal called
7Normal2
10Normal_tag
special called
7Special
11Special_tag
normal called
7Normal1
10Normal_tag
normal called
7Normal2
10Normal_tag
出力は、クラスSpecial
がインスタンス化に使用されることを意味すると思います。しかし、なぜ私は得るのNormal_tag
ですか?通話がhandle(sp);
このように動作するのはなぜですか?
ユニバーサルリファレンスが左辺値と右辺値の両方の引数を処理することを望んでいましたが、これは悪い方法ですか?
handle(sp);
spを呼び出すと、L値であるため、handle
テンプレートでT
は次のように推定されますSpecial&
が、特殊化はありません。Special&
template <>
struct trait<Special&> {
typedef Special_tag Type;
};
したがって、出力として呼び出される法線を取得しました。
この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。
侵害の場合は、連絡してください[email protected]
コメントを追加