C++模板使用：改变变量位置导致编译错误

Question

我有一个像这样的简单程序：

$cat testCompile.cpp

    #include<stdio.h>
    int fd[2];
    template<int fd[]>
    void f(){printf("fd\n");}
    int main(){
        f<fd>();
        return 0;
    }

编译并运行它，没问题，它只是打印“fd”。但是如果我将 fd[2] 的位置更改为 main 函数，则编译失败：

    #include<stdio.h>
    template<int fd[]>
    void f(){printf("fd\n");}
    int main(){
        int fd[2];
        f<fd>();
        return 0;
    }

clang 报告：

    testCompile.cpp:6:5: error: no matching function for call to 'f'
        f<fd>();
        ^~~~~
    testCompile.cpp:3:6: note: candidate template ignored: invalid
          explicitly-specified argument for template parameter 'fd'
    void f(){printf("fd\n");}
         ^
    1 error generated.

此错误表示什么？有什么问题吗？

Answer 1

首先你需要记住模板是编译时的东西，它全部由编译器处理，在运行时什么都不做。

那么你需要记住，局部变量最常见的处理方式是把它们放在栈上，而栈的位置可能在编译的时候是不知道的。

现在如果我们把它们放在一起，因为堆栈分配对象的位置在编译时是未知的，只有在运行时，你不能将堆栈分配（即局部变量）与模板一起使用.

它适用于全局变量，因为编译器可以知道对象的实际位置。