cpp static 当前导维度可能为零时，模板维度作为参考传递

Question

我有以下 function。

template<int m, int n>
void foo(float (&A)[m][n]){}

int main(){
    float x[3][4], y[0][4];
    
    foo<3,4>(x);
    //if(false){ foo<0,4>(y); } // POSITION 1
}

当我输入POSITION 1时，会抛出以下错误：

$ g++ minimum_example.cpp

.\minimum_example.cpp: In function 'int main()':
.\minimum_example.cpp:10:13: error: no matching function for call to 'foo<0, 4>(float [0][4])'
   10 |     foo<0,4>(y);
      |     ~~~~~~~~^~~
.\minimum_example.cpp:3:6: note: candidate: 'template<int m, int n> void foo(float (&)[m][n])'
    3 | void foo(float (&A)[m][n]){}
      |      ^~~
.\minimum_example.cpp:3:6: note:   template argument deduction/substitution failed:

$

问题是我无法在编译时捕获异常m==0 。 最好，我对不更改 main 的 POV 调用语法的解决方案感兴趣。

Answer 1

答案如下：

template<int m, int n>
void foo(float A[m][n]){}

int main(){
    float x[3][4], y[0][4];
    
    foo<3,4>(x);
    //if(false){ foo<0,4>(y); } // POSITION 1
}

也就是说，您只需将第 2 行中的(&A) A为 A。

原因是：

• 违反标准在这个问题上没有实际意义，因为代码在 GCC 和 CLANG 中的作用正是它应该做的。
• 无法显式传递引用，因为无法生成对 NULL 数组的引用（因此出现编译错误）。
• (&A)可以替换为A ，因为当 $m>0$ 时，符号A[m][n]将 A 作为引用传递。