声明模板函数中依赖于未知类型的变量

Question

假设我正在编写一个具有类型参数T的模板函数foo。它获取了一个必须具有方法bar（）的类型为T的对象。并且在foo中，我想创建一个由bar返回的类型对象的向量。

在GNU C++我可以写这样的事情：

template<typename T> 
void foo(T x) { 
    std::vector<__typeof(x.bar())> v; 
    v.push_back(x.bar()); 
    v.push_back(x.bar()); 
    v.push_back(x.bar()); 
    std::cout << v.size() << std::endl; 
} 

如何做到在Microsoft Visual C同样的事情++？有什么方法可以编写这个在GNU C++和Visual C++中都可用的代码吗？

Answer 1

你可以做，在标准C++

template<typename T> 
struct id { typedef T type; }; 

template<typename T> 
id<T> make_id(T) { return id<T>(); } 

struct any_type { 
    template<typename T> 
    operator id<T>() const { return id<T>(); } 
}; 

template<typename T, typename U> 
void doit(id<T>, U& x) { 
    std::vector<T> v; 
    v.push_back(x.bar()); 
    v.push_back(x.bar()); 
    v.push_back(x.bar()); 
    std::cout << v.size() << std::endl; 
} 

template<typename T> 
void foo(T x) { 
    doit(true ? any_type() : make_id(x.bar()), x); 
} 

一个解释见Conditional Love。

Answer 2

如果您要求模板中使用的类型具有“bar”功能，则还可以要求它为从bar返回的类型提供typedef。这就是标准库通常处理这类问题的方式（例如，每个容器都有一个value_type typedef）。

class Bar1 { 
public: 
    typedef int bar_type; 

    bar_type bar(); 
    ... 
}; 

template<typename T> 
void foo(T x) { 
    std::vector<T::bar_type> v; 
    v.push_back(x.bar()); 
    v.push_back(x.bar()); 
    v.push_back(x.bar()); 
    std::cout << v.size() << std::endl; 
} 

Bar1 b; 
foo(b); 

Answer 3

你可以尝试Boost.Typeof，声称支持VC 8

#include <boost/typeof/typeof.hpp> 

template<typename T> 
void foo(T x) { 
    std::vector<BOOST_TYPEOF(x.bar())> v; 
    ... 

Answer 4

如果你使用Visual C++ 10，他们支持 “decltype” 操作符，将返回的类型给出的表达。

Answer 5

如果您将工作推迟到另一个模板函数，您可以在T :: bar上使用模板参数推导来计算出结果。

// templated on the original type, and the return type of the function 
template <typename T, typename mem_fn_return_type> 
void doThePush (T& instance, mem_fn_return_type (T::*barptr)(void)) 
{ 
    std::vector<mem_fn_return_type> v; 
    v.push_back((instance.*barptr)()); 
    v.push_back((instance.*barptr)()); 
    v.push_back((instance.*barptr)()); 
    std::cout << v.size() << std::endl; 
} 

template <typename T> 
void foo(T x) 
{ 
    doThePush(x, &T::bar); 
} 

但是，如果您需要在多个地方使用该类型，最好在其他答案中使用该技术。

Answer 6

的C++ 0x提供了decltype关键字为标准，解决你的问题，像这样的一部分：

template<typename T> 
void foo(T x) { 
    std::vector<decltype(x.bar())> v; 
    v.push_back(x.bar()); 
    v.push_back(x.bar()); 
    v.push_back(x.bar()); 
    std::cout << v.size() << std::endl; 
} 

的Visual Studio 2010也支持这一点，因为这样做GCC 4.3或更高版本和科莫4.3.9+ （感谢帕特里克）。