将本地字符串参数作为const的引用传递到constexpr函数中?为什么这是合法的

constexpr函数只接受文字类型的参数。类字符串的对象本身不是文字类型，而是指针(是标量类型(或引用是文字类型。因此，对字符串的引用是一种文字类型。

此外，如果constexpr函数的参数也是常量表达式，则该函数仅返回一个常量表达式。

"如果scale*函数的参数是一个常量表达式，但不是其他表达式：">
来源：C++初级读本，第5版

刻度在这种情况下是is_shorter((

现在，我将两个对字符串的引用传递给constexpr函数，该函数不保留在固定地址(全局或静态(，而是保留在可变地址(本地(。因此，两个参数都不应该是常量表达式
constexpr函数的结果被分配给constexpr布尔。

#include <iostream>
#include <string>
#include <type_traits>
using namespace std;
/*
 * it isn't possible to define is_shorter as constexpr function
 * 1. string is not a literal type, but can be passed as pointer or reference,
 *    which are literal types.
 * 2. the member function size() is not a constexpr function
 *
 */
// compare the length of two strings
constexpr bool is_shorter(const string& s1, const string& s2) {
    // compiler message from gcc: 'error: call to non-constexpr function'
    // return s1.size() < s2.size();
    // compare addresses of pointers, which is legal or illegal but useless, because
    // both parameters are local objects and not stored at fixed addresses.
    return &s1 != &s2;
}
int main() {
    string shrt = "short";
    string longer = "longer";
    cout << "address of shrt " << &shrt << "n";
    cout << "address of longer " << &longer << "n";
    constexpr bool state = is_shorter(shrt, longer);
    if (state) {
        cout << "shrt is shortern";
    } else {
        cout << "longer is longern";
    }
    cout << "string " << is_literal_type<string>::value << "n";
    cout << "string& " << is_literal_type<string&>::value << "n";
    cout << "string* " << is_literal_type<string*>::value << "n";
    return 0;
}   

编译：

$ g++ -o ex646 ex646.cpp -std=gnu++11 -Wall -Wpedantic

运行：

$ ./ex646
address of shrt 0x7ffd39e41a50 # every time different
address of longer 0x7ffd39e41a40 # every time different, always 0x10 more than &shrt
shrt is shorter
string 0
string& 1
string* 1

编译器如何能够比较两个字符串的地址？它们在程序的每个运行时都是不同的，而它们的相对位置保持不变。这种用法的关键是，至少它们彼此的相对位置保持不变吗？

更新2015-08-12
在撰写本文时，这看起来像是ISO标准的"恒定评估规则中的一个错误"(如果我错了，请纠正我(。请参阅isocpp.org列表中的此讨论。因此，这不应该是GCC和CLANG内部的编译器错误。

谢谢dyp！