offset_of, size_of, source_location_of, type_of : 対象が狭かった

Author: faithandbrave

reference/meta/offset_of.md

@@ -12,15 +12,21 @@ namespace std::meta {
 * info[link info.md]
 
 ## 概要
-メンバ変数のオフセットを取得する。
+メンバ変数や基底クラスのオフセットを取得する。
+
+以下のいずれかを表すリフレクションを受け取れる：
+
+- メンバ変数
+- 無名ビットフィールド
+- 直接基底クラス関係（仮想基底クラスかつ派生クラスが抽象クラスである組み合わせは除く）
 
 
 ## 戻り値
-`r`がメンバ変数を表す場合、そのメンバの所属するクラスの先頭からのオフセットを[`member_offset`](member_offset.md)として返す。
+`r`が上記のいずれかを表す場合、所属するクラスの先頭からのオフセットを[`member_offset`](member_offset.md)として返す。
 
 
 ## 例外
-`r`がメンバ変数または基底クラス関係を表さない場合、[`std::meta::exception`](exception.md)例外を送出する。
+`r`が上記のいずれも表さない場合、[`std::meta::exception`](exception.md)例外を送出する。
 
 
 ## 例

reference/meta/size_of.md

@@ -12,15 +12,22 @@ namespace std::meta {
 * info[link info.md]
 
 ## 概要
-型またはデータメンバのサイズを取得する。
+型、オブジェクト、値、変数、メンバ変数、または基底クラス関係のサイズを取得する。
 
 
 ## 戻り値
-`r`が型を表す場合は`sizeof`相当の値を、メンバ変数を表す場合はそのメンバのサイズを返す。
+`r`が以下のいずれかを表す場合、そのサイズを返す：
+
+- 型
+- オブジェクト
+- 値
+- 参照型でない変数
+- ビットフィールドでないメンバ変数
+- 直接基底クラス関係
 
 
 ## 例外
-`r`が型またはメンバ変数を表さない場合、[`std::meta::exception`](exception.md)例外を送出する。
+`r`が上記のいずれも表さない場合、[`std::meta::exception`](exception.md)例外を送出する。
 
 
 ## 例

reference/meta/source_location_of.md

@@ -14,10 +14,21 @@ namespace std::meta {
 ## 概要
 リフレクションのソース位置を取得する。
 
+任意のリフレクションを受け取れる。
+
 
 ## 戻り値
 `r`が表すエンティティが宣言されたソース位置を[`std::source_location`](/reference/source_location/source_location.md)として返す。
 
+ただし、以下のリフレクションに対してはデフォルト構築された`source_location`（ソース位置情報なし）を返す：
+
+- 値
+- クラス型・列挙型以外の型
+- グローバル名前空間
+- データメンバ仕様
+
+それ以外のリフレクションに対する戻り値は実装定義である。
+
 
 ## 例
 ```cpp example

reference/meta/type_of.md

@@ -14,14 +14,22 @@ namespace std::meta {
 ## 概要
 リフレクションが表すエンティティの型のリフレクションを取得する。
 
+以下のいずれかを表すリフレクションを受け取れる：
+
+- 値、オブジェクト、変数、または関数（未推論のプレースホルダ型を含まず、コンストラクタ・デストラクタでないもの）
+- 列挙子
+- メンバ変数
+- 無名ビットフィールド
+- 直接基底クラス関係
+- データメンバ仕様
 
-## 戻り値
-`r`が表す値、オブジェクト、変数、関数、メンバ変数、ビットフィールド、列挙子、基底クラス関係、データメンバ仕様、または関数パラメータの型のリフレクションを返す。
 
+## 戻り値
+`r`が上記のいずれかを表す場合、対応する型のリフレクションを返す。列挙子の場合は列挙型のリフレクション、直接基底クラス関係の場合は基底クラスの型のリフレクションを返す。
 
 
 ## 例外
-`r`が型を持つエンティティを表さない場合、[`std::meta::exception`](exception.md)例外を送出する。
+`r`が上記のいずれも表さない場合（型、名前空間、テンプレート、コンストラクタ、デストラクタ、未推論のプレースホルダ戻り値型を持つ関数など）、[`std::meta::exception`](exception.md)例外を送出する。
 
 ## 例
 ```cpp example