c++ - 使用 MSVS 避免模板化特征函数中的模糊参数

Question

我正在编写一些应该将 Eigen::Array 作为输入的函数。数组的大小不变，但大小是模板参数，应从输入中扣除。使用 MSVS 编译时，我必须为函数提供大小，否则会导致错误。

#include <Eigen/Core>

template<unsigned short t_iSize>
void foo(const Eigen::Array<unsigned short, t_iSize, 1>&)
{

}

int main()
{
    Eigen::Array<unsigned short, 3, 1> test;
    // foo(test);    // Compiler errors C2672 and C2784
    foo<3>(test);    // Giving the size solves the errors
}

大小应该可以从变量test中扣除，但在计算数组的模板参数 4 和 5 时似乎失败了。

Error C2672: "foo": no matching overloaded function found.

Error C2784: "void foo(const Eigen::Array< unsigned short,t_iSize,1,|_Rows==&&?:&&_Rows!=?:,_Rows,1> &)": could not deduce template argument for "const Eigen::Array< unsigned short,t_iSize,1,|_Rows==&&?:&&_Rows!=?:,_Rows,1> &" from "Eigen::Array< unsigned short,3,1,0,3,1>".

取Eigen::Array时是否可以避免这个问题，还是需要将Eigen::ArrayBase作为函数参数？我想避免这种情况，因为它掩盖了函数只采用这种特定类型的数组这一事实。

编辑:

正如 Jarod42 指出的，模板参数应该是 int 类型。Visual Studio 可以编译带有此错误的代码。但是，它无法推导参数 _Rows，而其他编译器可以这样做。

Here你可以看到我遇到的问题。

Answer 1

Eigen::Array 的声明是

template<typename _Scalar, int _Rows, int _Cols, int _Options, int _MaxRows, int _MaxCols>
class Eigen::Array;

您的函数使用了错误的行类型，unsigned short 应该是 int。

template <int t_iSize>
void foo(const Eigen::Array<unsigned short, t_iSize, 1>&)
{
    // ...
}

Demo

作为 Msvc 问题的解决方法，您可以这样做:

• 手动应用默认值:

  template <int t_iSize>
  void bar(const Eigen::Array<unsigned short, t_iSize, 1, 0, t_iSize, 1>&) {
    // ...
  }
  

• 或添加额外的模板(因此代码更加通用):

  template <int t_iSize, int Options, int MaxRows, int MaxCols>
  void foo(const Eigen::Array<unsigned short, t_iSize, 1, Options, MaxRows, MaxCols>&) {
    // ...
  }
  

Demo