Использование перечисления в качестве постоянного выражения. Какой компилятор прав?

Question

В следующем коде используется член перечисления m в качестве постоянного выражения, то есть в качестве параметра шаблона. Код компилируется под gcc, но не под clang (live demo). Кланг говорит: «ошибка: аргумент шаблона непигового типа не является постоянным выражением».

Проблема может быть решена путем замены строки // 1 на A<tst<p>::m> a. Поэтому мой вопрос заключается не в том, как исправить эту проблему, но какой компилятор прав.

template<size_t n> struct A{}; 

template<size_t n> 
struct tst 
{ enum : size_t { m= n % 15 }; 

    template<size_t p> 
    void 
    call(tst<p> const &t2) { 
     A<t2.m> a; // 1 
    } 
}; 

Answer 1

В соответствии со стандартом, Кланг вправе отклонить код.

t2.m - выражение доступа к члену класса. [Expr.ref]/1 говорит:

[...] The postfix expression before the dot or arrow is evaluated; the result of that evaluation, together with the id-expression, determines the result of the entire postfix expression.

Там также примечание:

If the class member access expression is evaluated, the subexpression evaluation happens even if the result is unnecessary to determine the value of the entire postfix expression, for example if the id-expression denotes a static member.

Итак, Подвыражение t2 оценивается. [Expr.const] /2.9 говорит, что выражение e не может быть основной константным выражением, если оценка его результатов при оценке

an id-expression that refers to a variable or data member of reference type unless the reference has a preceding initialization and either

• it is initialized with a constant expression or
• its lifetime began within the evaluation of e ;

t2 ссылается на переменную ссылочного типа, которая не удовлетворяет пули, так t2.m не является постоянным выражением, поскольку оно не является основным постоянным выражением.

---

Все цитаты из N4594, текущий опубликованный рабочий проект. Текст немного изменился с C++ 11, но смысл в этом случае тот же.