Question

我喜欢矢量，通常在数组上使用它们。出于这个原因，我创建了一个模板化的可变参数函数来初始化向量（包含在下面）。

标题（.h）：

template <typename T>
vector<T> initVector(const int argCount, T first, ...);

来源（.hpp）：

template <typename T>
vector<T> initVector(const int argCount, T first, ...) {
    vector<T> retVec;
    retVec.resize(argCount);

    if(argCount < 1) { ... }

    retVec[0] = first;

    va_list valist;
    va_start(valist, first);
    for(int i = 0; i < argCount-1; i++) { retVec[i+1] = va_arg(valist, T); }
    va_end(valist);

    return retVec;
}

它适用于大多数类型（例如int，double ...），但不适用于字符串---因为编译器将它们解释为'const char *'，因此

vector<string> strvec = initVector(2, "string one", "string two");

给我错误：

error: conversion from ‘std::vector<const char*, std::allocator<const char*> >’ to non-scalar type ‘std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >’ requested

有没有办法让字符串参数被解释为字符串，而不必逐个演变？

Answer 1

因为常量"string one"的类型是const char*而不是std::string，所以需要进行转换。 va_arg无法进行此转换，因此我们需要第二个模板参数：

template <typename VecT, typename EleT>
std::vector<VecT> init_vector(const size_t nargs, EleT first, ...) {
    std::vector<VecT> result;
    result.reserve(nargs);

    if (nargs == 0) {
        return result;
    }

    result.push_back(first);

    if (nargs == 1) {
        return result;
    }

    va_list valist;
    va_start(valist, first);

    for (int i = 1; i < nargs; ++i) {
        result.push_back(VecT(va_arg(valist, EleT)));
    }

    va_end(valist);

    return result;
}

std::vector<std::string> = init_vector<std::string>(2, "string one", "string two")

请注意，我做了一些更改，最明显的是将resize更改为reserve，以防止创建不必要的对象。

你也可以简单地使用它（没有混淆数量元素和安全类型的风险）：

const char *args[] = {"string one" , "string two"};
std::vector<std::string> strvec(args, args + sizeof(args)/sizeof(args[0]))

或使用C ++ 11初始化列表：

std::vector<std::string> strvec = {"string one" , "string two"};

为了好玩，我制作了一个更整洁，更安全的小东西，但并没有概括为任意数量的论点。它通过重载工作。以下是前三个重载和示例用法：

template<class C>
inline C init_container() {
    return C();
}

template<class C, class T>
inline C init_container(T arg0) {
    const T args[1] = {arg0};
    return C(args, args + 1);
}

template<class C, class T>
inline C init_container(T arg0, T arg1) {
    const T args[2] = {arg0, arg1};
    return C(args, args + 2);
}

std::vector<std::string> vec =
    init_container< std::vector<std::string> >("hello", "world");

可在此处下载完整标题（最多100个参数）：https://gist.github.com/3419369。

Answer 2

尝试使用2个模板类型参数：

template <typename T, typename U>
vector<T> initVector(const int argCount, U first, ...) {

经常（例如int，double等）T和U将是相同的。但与新策略的不同之处在于，我们现在允许它们不同，前提是存在从U到T的隐式转换（例如从const char*到{{1} }）。这应该是安全的，如果不存在隐式转换，则会出现编译时错误。

顺便说一句BTW有趣的策略 - 我从未想过string等可以这样使用！ OTOH，我相信C ++ 11中有一些新的机器允许向量等直接从初始化列表初始化，类似于你总是能够像C va_list一样初始化C中的数组，所以它可能是最好还是坚持下去。

模板变量作为字符串而不是const char *

2 个答案: