为什么我不能在C ++ 11中使用constexpr指针作为模板参数？

Question

Please consider the following code:

template <typename T, typename P, T P:: *s> struct H {};

struct AA { int i; };

int main()
{
  typedef int AA::*PI;
  constexpr PI pi = &AA::i;

  H<int, AA, &AA::i> h1;    // OK
  // H<int, AA, pi> h2;     // compile error
}

I have member pointer pi pointing to AA::i . pi is a constexpr variable. Why can't I use it as a template parameter, even though using &AA::i directly works?

Answer 1

Because those are the rules, at least in C++11; 14.3.2/1 only allows "a pointer to member expressed as described in 5.3.1", which describes the &AA::i syntax.

This has changed in the latest draft , and now the requirement for any type is just "a converted constant expression of the type of the template-parameter", under which your code would be fine.

I don't know whether or not this change is in C++14, since I don't yet have access to that published standard.