循環遍數的類型

Question

假設我想用vector<int>,vector<bool>,vector<string>進行測試。我想寫的東西是這樣的：

for(type T in {int, bool, string}){ 
    vector<T> v; 
    for(int i = 0; i < 3; ++i){ 
     v.push_back(randomValue<T>()); 
    } 
    assert(v.size() == 3); 
} 

我知道有沒有這樣的功能在語言，但它可能以某種方式模仿？在某些庫中是否有此功能，例如boost？

Answer 1

Boost.MPL

這是可能的類型串完成 - 它們在細節Modern C++ Design: Generic Programming and Design Patterns Applied通過安德烈Alexandrescu的

檢查Boost.MPL庫討論。例如 - boost::mpl::for_each

LIVE DEMO

#include <boost/exception/detail/type_info.hpp> 
#include <boost/mpl/for_each.hpp> 
#include <boost/mpl/vector.hpp> 
#include <iostream> 
#include <cassert> 
#include <vector> 
#include <string> 

using namespace boost; 
using namespace std; 

template<typename T> 
T randomValue() 
{ 
    return T(); 
} 

struct Benchmark 
{ 
    template<typename T> 
    void operator()(T) const 
    { 
     cout << "Testing " << type_name<T>() << endl; 
     vector<T> v; 
     for(int i = 0; i < 3; ++i) 
     { 
      v.push_back(randomValue<T>()); 
     } 
     assert(v.size() == 3); 
    } 
}; 

int main() 
{ 
    mpl::for_each<mpl::vector<int, bool, string>>(Benchmark()); 
} 

輸出是：

Testing int 
Testing bool 
Testing std::string 

---

C++ 11可變參數模板

另一種選擇是使用C++ 11個可變參數模板：

LIVE DEMO

#include <boost/exception/detail/type_info.hpp> 
#include <iostream> 
#include <cassert> 
#include <vector> 
#include <string> 

using namespace boost; 
using namespace std; 

template<typename T> 
T randomValue() 
{ 
    return T(); 
} 

struct Benchmark 
{ 
    template<typename T> 
    void operator()(T) const 
    { 
     cout << "Testing " << type_name<T>() << endl; 
     vector<T> v; 
     for(int i = 0; i < 3; ++i) 
     { 
      v.push_back(randomValue<T>()); 
     } 
     assert(v.size() == 3); 
    } 
}; 

template<typename ...Ts,typename F> 
void for_each(F f) 
{ 
    auto &&t = {(f(Ts()),0)...}; 
    (void)t; 
} 

int main() 
{ 
    for_each<int, bool, string>(Benchmark()); 
} 

Answer 2

我已經成功地做一些工作，但不是很漂亮，只用默認costructable類型的作品：

void loop() { 
} 

template<typename T, typename... Args> 
void loop(T t, Args... args) { 
    cerr << "work with " << typeid(T).name() << endl; 
    loop(args...); 
} 
int main() { 
    loop(int(), char(), vector<int>(), string()); 
} 

Answer 3

它使用可變參數模板來實現這一目標：

template<typename T> 
void do_test(){ 
    // do the actual testing here, for type T 
} 

template<typename T> 
void test_vectors() { 
    do_test<T>(); 
} 

template<typename T, typename Head, typename... Tail> 
void test_vectors() { 
    do_test<T>(); 
    test_vectors<Head, Tail...>(); 
} 

演示here。