2

多亏了可变参数模板，我不久前实现了 Python 的链函数的 C++ 等价物。该函数用于连续迭代多个容器。这是使用名为 的生成器的函数的旧工作版本ChainedObject，无论它是什么：

template<typename... Iterables>
auto chain(Iterables&&... iters)
    -> ChainObject<Iterables...>
{
    return /* ... */;
}

以及相应的主要：

int main()
{
    std::vector<int> vec = { 1, 2, 3, 4, 5 };
    std::list<int>   li  = { 6, 7, 8, 9, 10, 11, 12, 13 };
    for (auto& i: chain(vec, li))
    {
        // You can edit a range of iterables
        // as if there was only one of them.
        i *= 5;

        std::cout << i << std::endl;
    }
    return 0;
}

那个主要工作得很好。我们不在乎 ChainObject 中有什么问题，所以让我们看看。我尝试使用模板模板来确保使用的不同集合具有相同的功能，并通过以下方式value_type修改了函数：chain

template<typename T, template<typename...> class... Iterables>
auto chain(Iterables<T>&&... iters)
    -> ChainObject<T, Iterables...>
{
    return /* ... */;
}

我认为这可以确保我之前的 main 中的listandvector共享相同的类型，但是相反，我从 GCC 4.7.1 收到以下错误：

在函数'int main()'中：

错误：没有匹配函数调用“链（std::vector&，std::list&）”

注：候选人是：

注意：ChainObject<T, Iterables ...> chain(Iterables<T>&& ...) [with T = int; Iterables = {std::vector, std::list}]

注意：没有已知的参数 2 从 ' std::list<int>' 到 ' std::list<int>&&' 的转换

笔记：ChainObject<T, Iterables ...> chain(Iterables<T>&& ...) [with T = int; Iterables = {std::vector, std::list}]

注意：没有已知的参数 2 从 ' std::list<int>' 到 ' std::list<int>&&' 的转换

错误：无法从 '' 推导出 'auto&'

似乎问题出在将参数传递给采用右值引用的函数。但是，我真的不明白为什么我的第一个版本运行良好，并注意使用模板模板的版本。

4

1 回答 1

5

您的问题是T&&模板魔术仅适用于类型参数（它通过推断T例如，int&如果需要 - 对于左值参数）。它不适用于模板模板参数，其中实际类型是X<T>&&-X在这种情况下必须是类模板，而不是“reference-to-class-template”之类的东西。所以最后你必须传递一个右值引用，你不能从左值（变量）中隐式获取它。

也就是说，我建议您恢复到之前的代码并检查value_types 是否与 SFINAE 相同（或兼容等，无论您如何进行）。

粗略的代码草图（严格相等）：

template <class ... Ts> struct all_types_equal
{
  static const bool value = false;
};

template <class T>
struct all_types_equal<T>
{
  static const bool value = true;
};
template <class T, class ... Rest>
struct all_types_equal<T, T, Rest...>
{
  static const bool value = all_types_equal<T, Rest...>::value;
};

template<typename... Iterables>
auto chain(Iterables&&... iters)
    -> typename std::enable_if<all_types_equal<Iterable::value_type...>::value, ChainObject<Iterables...> >::type
于 2012-11-24T01:13:24.233 回答