铿锵虫？使用指针作为模板参数

Question

我想使用指针作为模板参数。通常，这可以正常工作。 但更进一步，我希望通过另一个模板类声明这些指针。

我在 GCC 上运行良好，但在 Clang 上却失败了。

这里有一个小程序来演示（live link）：

template <size_t ID = 0>
struct PointerHolderT {
    static thread_local char *smt_pStorage;
};
template <size_t ID>
thread_local char *PointerHolderT<ID>::smt_pStorage = nullptr;

template<char **ppData>
struct MyClass {
    static void foo() {
        cout << "this is my ptr: " << ppData << endl;
    }
};

int main() {
    MyClass<&PointerHolderT<123>::smt_pStorage>::foo(); 
    return 0;
}

错误是：

error: non-type template argument of type 'char **' is not a constant expression

正如您从实时链接中更详尽的示例中看到的那样，当它是一个普通的全局指针时，当它是一个普通结构内的指针时，clang 可以很好地处理它。只有在 templated 结构中使用指针时才会出现问题。

• 这是一个clang错误吗？
  • 或者我的行为是否违法，但 GCC 允许？
• 有人知道解决方法，所以我可以在 clang 上解决这个问题吗？

Answer 1

我猜是thread_local 的问题。如果我将thread_local 也添加到pData 中，则编译失败。