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

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* 到string）。从某种意义上说，这应该是安全的，如果不存在隐式转换，您将收到编译时错误。

顺便说一句，有趣的策略——我从来没有想过va_list等可以以这种方式使用！ OTOH，我相信 C++11 中有新的机制允许从初始化器列表中直接初始化向量等，类似于你一直能够在 C 中初始化数组，如int a[] = { 3, 4, 5 };，所以最好去吧。