Question

所以，当我学习C ++中的模板时，我决定想出一些不寻常的情况，看看能不能让它们运行起来。（不，这不实用 - 只是玩这种语言！）我创建了一个模板类，其中包含T类型的值，其可变参数函数模板返回std::pair T }和参数包中其中一个值的最大值。但是，我无法编译。这就是我写的......

在 header.h 中：

#ifndef HEADER_H
#define HEADER_H

#include <utility>
#include <algorithm>
#include <array>

template <typename  T>
class MyClass
{

  T m_heldType;

public:

  MyClass(T t) : m_heldType(t) {}

  template <typename... T2>
  std::pair<T, T2> pairingFunc(T2&&... types)
  {
    std::array<T2, sizeof...(types)> types_arr = { types... };

    return std::make_pair( m_heldType, *std::max_element(types_arr.begin(), types_arr.end()) );
  }

};

#endif

在 source.cpp 中：

#include <iostream>
#include "Header.h"

int main()
{
  MyClass<int> mc(512);

  auto mypair = mc.pairingFunc(1.61f, 3.14f, 6.66f);

  std::cout << mypair.first << ' ' << mypair.second;
  std::cin.ignore();
}

这些是我产生的错误：

Error   C3520   'T2': parameter pack must be expanded in this context   ...\header.h    24
Error   C2672   'MyClass<int>::pairingFunc': no matching overloaded function found  ...\source.cpp  8
Error   C2893   Failed to specialize function template 'std::pair<T,T2> MyClass<T>::pairingFunc(T2 &&...)'  ...\source.cpp  8
Error   C3536   'mypair': cannot be used before it is initialized   ...\source.cpp  10
Error   C2228   left of '.first' must have class/struct/union   ...\source.cpp  10
Error   C2228   left of '.second' must have class/struct/union  ...\source.cpp  10

所以这就是我的想法：

显然，编译器无法确定mypair的类型（初始化失败）。但为什么？它知道T中MyClass的类型以及T2中pairingFunc()的类型。明确说明std::pair<int, float>修复此错误，但保留其他错误（基础问题的症状）。
“无法专门化功能模板”...我想这意味着它无法根据给定的类型返回类型？如果是这样，为什么不呢？
“参数包必须在此上下文中展开” - 我不确定这个。将包放入数组中是不是会发生这种情况？

另外，我想通过像(T2&& head, T2&&... tail)之类的东西强制提供至少一个参数，但我认为将这两个参数放入数组或向量中可能会很讨厌，我不知道如何只处理单个可变参数。所以我猜这只是一个“奖金”。

Answer 1

基本问题是参数包

$fo

不代表单一类型。

<typename ...T2>

此参数包可以接受类型的组合，即

 template <typename... T2>
 void foo(T2 && ...args)

您需要确定foo(4, "bar", Baz());收到的参数类型。建议的pairingFunc()是一个不错的选择：

std::common_type_t

Answer 2

问题在于：

std::pair<T, T2> pairingFunc(T2&&... types)
             ^^

在这里

std::array<T2, sizeof...(types)> types_arr = { types... };
           ^^

T2是参数包，而不是类型。它可以存储多种类型，即1.4f, "hi", 1, 0.5。所以你不能将它作为单一类型使用，这是不可能的。您需要引入另一个参数并将其用作类型：

template <typename T1, typename... T2>
std::pair<T, T1> pairingFunc(T1&& arg, T2&&... types)
{
    std::array<T1, sizeof...(types) + 1> types_arr = { arg, types... };

    return std::make_pair(m_heldType, *std::max_element(types_arr.begin(), types_arr.end()));
}

如果你打电话

，这也有一个好处

mc.pairingFunc(4.5f, "hello");

它不会编译。不再使用参数调用它也是不可能的（尽管如此仍然没有意义）。

首选解决方案（感谢@DanielSchepler）可能会使用std::common_type，因为第二个参数可能无法转换为T，但T是可转换为第二个参数：

template <typename T1, typename... T2>
std::pair<T, std::common_type_t<T1, T2...>> pairingFunc(T1&& arg, T2&&... types)
{
    std::array<std::common_type_t<T1, T2...>, sizeof...(types) + 1> types_arr = { arg, types... };

    return std::make_pair(m_heldType, *std::max_element(types_arr.begin(), types_arr.end()));
}

如何在非变量模板类中形成可变参数模板函数？

2 个答案: