Question

我有以下代码：

template <const char *p>
struct A{};

template <int i>
struct E{};

extern constexpr int i = 0;
constexpr float f = 0.f;
extern constexpr char c = 0;
int main(int argc, const char *argv[])
{
  A<&c> b; //works
  A<(const char *)(&i)> a; //Error: could not convert template argument ‘(const char*)(& i)’ to ‘const char*’
  E<(int)f> e; //works
  return 0;
}

为什么第A<(const char *)(&i)> a;行错了？我用g ++ - 4.6.1用-std = c ++ 0x编译它。

编辑：正如Charles建议在常量表达式中不允许reinterpret_cast，我将上面的代码更改为以下代码：

struct Base{};
struct Derived : public Base {};

template <const Base *p>
struct A{};

extern constexpr Base base = {};
extern constexpr Derived derived = {};
A<&base> a; //works
A<(const Base*)&derived> b; //error: could not convert template argument ‘(const Base*)(& derived)’ to ‘const Base*’

因此，不仅reinterpret_cast不被允许。使用A<static_cast<const base*>(&derived)会产生相同的错误。

致@BЈовић：

  A<(const Base*)(0)> b; // error: could not convert template argument ‘0u’ to ‘const Base*’

Answer 1

至于“标准如此说明”的答案，请查看评论。

真正的问题是为什么不允许这样做？

在模板参数中明确拒绝类型转换很有意义，因为您真正感兴趣的是模板参数的值。然而，类型转换可能会变得任意复杂，并且不会被强制为constexpr。标准（显然）并不是内置（原始）类型的例外。

请注意E<(int)f>示例也被clang驳斥，理由如下：

错误：类型为'int'的非类型模板参数不是整数常量表达式

为什么gcc允许这是可疑的，但我认为它允许你使用你可以明确声明的constexpr。请注意，可能会隐藏i参数列表中A的地址。

为什么指针类型转换对模板非类型参数不起作用

1 个答案: