c++ - 使用 bool 非类型参数实例化类模板时出错

Question

我很难弄清楚为什么以下代码(显示了依赖项)无法编译，希望能帮助修复它。

主要.cpp

#include <cstdlib>
#include <iostream>

#include "Foo.h"
#include "Bar.h"

int main()
{
    Foo<Bar> f1;        // ERROR
    Foo<Bar,true> f2;   // works
    return EXIT_SUCCESS;
}

Foo.h

template<typename T, bool S = T::HAS_NATIVE_SUPPORT>
struct Foo
{
};

酒吧.h

struct Bar
{
    static const bool HAS_NATIVE_SUPPORT;
};

酒吧.cpp

#include "Bar.h"
const bool Bar::HAS_NATIVE_SUPPORT = true;

我在 Visual Studio 2008 命令提示符中收到以下错误

cl main.cpp Bar.cpp
main.cpp(12) : error C2975: 'S' : invalid template argument for 'Foo', expected compile-time constant expression
        c:\tmp\c++tests\so\Foo.h(1) : see declaration of 'S'

在 g++ (GCC) 4.5.3 中，我收到以下错误消息:

$ g++ main.cpp Bar.cpp
main.cpp: In function ‘int main()’:
main.cpp:12:9: error: ‘Bar::HAS_NATIVE_SUPPORT’ is not a valid template argument for type ‘bool’ because it is a non-constant expression
main.cpp:12:12: error: invalid type in declaration before ‘;’ token

Answer 1

模板参数的值必须在编译时知道，但是通过在另一个源文件中初始化成员的值，编译器在需要时无法看到该值是什么。

您需要在类中初始化您的静态成员，以便它可以用作编译时常量:

struct Bar
{
    static const bool HAS_NATIVE_SUPPORT = true;
};