> But someday we'll want non-constexpr too. I have only seen a sentence > somewhere stating that non-constexpr variable templates are allowed but have > seen no paper or wording anywhere. Does anyone know where such exists?
When variable templates were proposed, EWG decided they wanted non-constexpr variable templates also. I think that the current draft reflects that, since I can't find anything that says "variable templates shall be declared constexpr". There's also an implied requirement for partial specialization of variable templates (14.3.3p2), but no elaboration of that. Core issue 1711 specifically addresses this. A quick search shows that Clang already implements it. Andrew