なぜ人はdefault ctorのdefault指定時にconstexprを明示したくなってしまうのか

[yumetodo]

#21 でも一回指摘したのですが、まだあったようです。

https://github.com/Kasugaccho/DungeonTemplateLibrary/blob/53065f516678db545264bd960f81658a4d5ab174/include/DTL/Range/BasicRect.hpp#L67

つ～か #33 の継承ctor周りが通らない原因になってたりとか、もしかしてしませんか？(未検証
ちがったぽい

[yumetodo]

他にもあるかもしれんので再度確認されたほうがいいのではと

[AsPJT]

確認してみます。

[AsPJT]

デフォルトコンストラクタについている constexpr を全て削除しました。

それと、
#21 での指摘は constexpr の有無ではなく
noexcept の有無だと思います。

[yumetodo]

あれっ私間違ったこと言っている気がしてきたぞ・・・ちょっとまてよ・・・

[yumetodo]

diff --git a/libstdc++-v3/include/std/chrono b/libstdc++-v3/include/std/chrono
index 209f395..d920a7d 100644
--- a/libstdc++-v3/include/std/chrono
+++ b/libstdc++-v3/include/std/chrono
@@ -250,7 +250,10 @@ _GLIBCXX_END_NAMESPACE_VERSION
 	// 20.11.5.1 construction / copy / destroy
 	constexpr duration() = default;
 
-	constexpr duration(const duration&) = default;
+	// NB: Make constexpr implicit. This cannot be explicitly
+	// constexpr, as any UDT that is not a literal type with a
+	// constexpr copy constructor will be ill-formed.
+	duration(const duration&) = default;
 
 	template<typename _Rep2, typename = typename
 	       enable_if<is_convertible<_Rep2, rep>::value

https://gcc.gnu.org/ml/libstdc++/2012-10/msg00120.html

これがどういう意味かさっぱり理解出来ないです。そもそもUDT #とはhttps://t.co/2oykOFuxda#constexpr #cpp @bolero_MURAKAMI @_EnumHack pic.twitter.com/Z4sgBtbvor

— yumetodo-鳥の氷河から逃げる (@yumetodo) 2016年3月14日

@yumetodo つまり、duration<Rep> の Rep は非リテラル型なユーザ定義型である可能性があるため、明示的にconstexpr指定しないようにする変更。Rep がリテラル型である場合、トリビアルコピーコンストラクタは暗黙にconstexpr指定される。

— 狂える中３女子ボレロ村上／陶芸C++er (@bolero_MURAKAMI) 2016年3月14日

@bolero_MURAKAMI >トリビアルコピーコンストラクタは暗黙にconstexpr指定される。
今日まで気がついてなかった・・・。
ありがとうございます。

— yumetodo-鳥の氷河から逃げる (@yumetodo) 2016年3月14日

@yumetodo 直訳：暗黙にconstexpr指定される。非リテラル型な任意のUDT(User-Defined Type)に対して、constexprコピーコンストラクタはill-formedになるため、明示的にconstexpr指定すべきでない。

— 狂える中３女子ボレロ村上／陶芸C++er (@bolero_MURAKAMI) 2016年3月14日

これが背景

[yumetodo]

つまりこのIssueは間違っていた・・・？(落ち着いて後で考える

[yumetodo]

とりあえずstatic_assertでconstexprに構築できるかテストするべき

[yumetodo]

そもそもこれデフォルトコンストラクタは自動生成されると思うのでいらないような気がしている。
一方でconstexpr BasicRect() = default; みたいに書いても問題はなさそうではある・・・