Зацикливание по типам

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 по Александреску

Check 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 VARIADIC Шаблоны

Другой вариант заключается в использовании C++ 11 VARIADIC шаблоны :

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

Это использует VARIADIC шаблоны для достижения этой цели:

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.