constexpr関数ではconstポインタへの参照を返すが、コピーを返さないのはなぜですか？

Question

私は、次の3つのC++のファイルを持っている（すべては1つのファイル内にある場合、問題は発生しません）：

clazz.hpp：

class Clazz { 
    public: 
     static const char* const NAME; 
}; 

clazz.cpp：

#include "clazz.hpp" 
const char* const Clazz::NAME = "Clazz"; 

メインを.cpp：

#include <iostream> 
#include "clazz.hpp" 

constexpr const char* const& get_clazz_name_ref() { 
    return Clazz::NAME; 
} 

constexpr const char* get_clazz_name() { 
    return Clazz::NAME; // this does not work 
} 

int main(void) { 
    std::cout << get_clazz_name_ref() << std::endl; 
    std::cout << get_clazz_name() << std::endl; 
} 

このファイルをVisual Studio 2015でコンパイルすると、エラーm get_clazz_name機能のためにessage：Funnily十分

error C3256: 'NAME': variable use does not produce a constant expression 

は、機能 get_clazz_name_refはOKコンパイルされます。どうしてこんなことに？

---

アラン・ストークスに応答してhttps://stackoverflow.com/a/36112146/59557：これはなぜ機能しますか？

clazz.hpp：

#include <array> 
class Clazz { 
    public: 
     static const char* const NAME; 
     static const size_t N = 3; 
     static const std::array<const char*, N> NAMES; 
}; 

clazz.cpp：

#include "clazz.hpp" 
const char* const Clazz::NAME = "Clazz"; 

const std::array<const char*, Clazz::N> Clazz::NAMES = { 
    "A", 
    "B", 
    "C" 
}; 

main.cppに：

#include <iostream> 
#include "clazz.hpp" 

constexpr const char* const& get_clazz_name_ref() { 
    return Clazz::NAME; 
} 

constexpr const char* get_name(size_t i) { 
    return Clazz::NAMES[i]; 
} 

int main(void) { 
    std::cout << get_clazz_name_ref() << std::endl; 
    std::cout << get_name(0) << std::endl; 
} 

私も、clazz.cppを変更して再構築することができます。

Answer 1

NAMEのアドレスは、main.cppをコンパイルするときにコンパイラに知られていますが、その値はありません。そのため、この値はコンパイル時定数にはなりません。その後、初期化子があるので、彼らは一つのファイルにしている場合には適用されません

;

（それは定数にすることはできませんので、あなたが唯一のclazz.cppを変更して再構築し、それに異なる値を与えることができます。）その値は既知である。