C++14：从参数值初始化 constexpr 变量

Question

假设我有一个可以通过constexpr 函数返回常量表达式的类：

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

如果我想从Foo::Bar() 初始化constexpr 值，我应该如何传递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 demo

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>{});

当Bar 是constexpr 并返回有效的常量表达式时，采用const Foo & 或普通Foo 有什么区别？

GCC 还是 Clang，哪个是正确的，为什么？如果可以，请参考该标准。

Answer 1

§5.20：

从i 的角度来看，该引用没有前面的初始化，但是：它是一个参数。一旦调用ByReference，它就会被初始化。

让我们从i 的声明中删除constexpr，并考虑完整地调用ByReference：

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

constexpr int j = ByReference(Foo<0>());

这很好，因为f 确实有前面的初始化。 f 的初始化器也是一个常量表达式，因为在这种情况下，隐式声明的默认构造函数是 constexpr（第 12.1/5 节）。
因此i 由一个常量表达式初始化，而调用本身就是一个常量表达式。