WEB开发网
开发学院软件开发VC VC10中的C++0x特性 part 3 :声明之类型 阅读

VC10中的C++0x特性 part 3 :声明之类型

 2009-06-10 20:07:33 来源:WEB开发网   
核心提示:本文示例源代码或素材下载 本文为 Part 3,今天我要讲 decltype,VC10中的C++0x特性 part 3 :声明之类型,它让完美转发函数能够返回任意类型的东西,对编写高度泛型的人来说这是很有趣的的特性,这个模板函数带两个任意类型(当然是不同类型的)参数,并把它们想加,返回类型问题C++98/03

本文示例源代码或素材下载

本文为 Part 3。

今天我要讲 decltype,它让完美转发函数能够返回任意类型的东西。对编写高度泛型的人来说这是很有趣的的特性。

返回类型问题

C++98/03 有一个有意思的盲点:给定一个像 x * y 的表达式, x 和 y 是任意类型,你却没法知道 x * y 的类型。假如 x 是 Watts 类型的, y 是 Seconds 类型的,那 x * y 的类型可能会是 Joules 类型的。 给定声明 print(const T& t),调用 print( x * y ) ,在这里 T 会被推导为 Joules 类型。但反过来却不是这样的:当你写个函数 multiply(const A& a, const B& b) ,你无法指定它的通用返回类型。即使是实例化成 multiply<A, B>() ,编译器也晓得 x * y 的类型,但你就是没办法得到那样的信息(指返回类型)。C++0x 中的关键词 decltype 扫除了这个盲点,让你能够说“ multiply() 返回 x * y 类型的东西”。(decltype 是 "declared type" 的缩写,我把它读作谐音 “speckle type”。)

decltype:模式

下面是一个完全泛化的封装 +() 操作符的函数因子。这个“加法”因子不是一个模板,但它有一个模板函数,这个模板函数带两个任意类型(当然是不同类型的)参数,并把它们想加,然后返回任意类型(可能跟两个参数的类型完全不同)的结果。

C:Temp>type plus.cpp
#include <algorithm>
#include <iostream>
#include <iterator>
#include <ostream>
#include <string>
#include <utility>
#include <vector>
using namespace std;

struct Plus {
    template <typename T, typename U>
    auto operator()(T&& t, U&& u) const
    -> decltype(forward<T>(t) + forward<U>(u)) {
        return forward<T>(t) + forward<U>(u);
    }
};

int main() {
    vector<int> i;
    i.push_back(1);
    i.push_back(2);
    i.push_back(3);

    vector<int> j;
    j.push_back(40);
    j.push_back(50);
    j.push_back(60);

    vector<int> k;
    vector<string> s;
    s.push_back("cut");
    s.push_back("flu");
    s.push_back("kit");

    vector<string> t;
    t.push_back("e");
    t.push_back("ffy");
    t.push_back("tens");

    vector<string> u;

    transform(i.begin(), i.end(), j.begin(), back_inserter(k), Plus());
    transform(s.begin(), s.end(), t.begin(), back_inserter(u), Plus());

    for_each(k.begin(), k.end(), [](int n) { cout << n << " "; });
    cout << endl;

    for_each(u.begin(), u.end(), [](const string& r) { cout << r << " "; });
    cout << endl;
}

C:Temp>cl /EHsc /nologo /W4 plus.cpp
plus.cpp

C:Temp>plus
41 52 63
cute fluffy kittens

1 2 3 4  下一页

Tags:VC 特性 part

编辑录入:爽爽 [复制链接] [打 印]
赞助商链接