Скажем, у меня есть класс, который может возвращать константное выражение черезconstexpr функция:

template<int N>
struct Foo {
  constexpr int Bar() const { return N; }
};

Если бы я хотел инициализировать значения constexpr изFoo::Bar()как передать параметр типаFoo? Я попробовал эти два, с примеромconstexpr переменная внутри каждого, чтобы проверить, что это может быть инициализировано:

template<int N>
constexpr int ByValue(Foo<N> f) {
  constexpr int i = f.Bar();
  return f.Bar();
}

template<int N>
constexpr int ByReference(const Foo<N> &f) {
  constexpr int i = f.Bar();
  return f.Bar();
}

constexpr int a = ByValue(Foo<1>{});
constexpr int b = ByReference(Foo<1>{});

Но Clang 3.7 вызывает ошибку наByReference пока gcc> = 5.1 не делает:Live демо

main.cpp:15:25: error: constexpr variable 'i' must be initialized by a constant expression
      constexpr int i = f.Bar();
                        ^~~~~~~
main.cpp:22:25: note: in instantiation of function template specialization 'ByReference<1>' requested here
      constexpr int b = ByReference(Foo<1>{});

Какая разница между принятиемconst Foo & или равнинаFoo, когдаBar являетсяconstexpr в любом случае и возвращает допустимое константное выражение?

Что правильно и почему, GCC или Clang? Если возможно, ссылки на стандарт будут приветствоваться.