c++ - 循环遍历类型数

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 by Andrei Alexandrescu中有详细讨论

检查Boost.MPL库。例如 - boost::mpl::for_each

现场演示

#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 可变参数模板：

现场演示

#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

这使用可变参数模板来实现：

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...>();
}

演示在这里。

Answer 3

我已经设法做了一些可行的事情，但不是很漂亮，并且只适用于默认可构造类型：

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());
}