com doc/ja: Explain what consistitutes a more specific type: language/oop5/variance.xml

Commit: 984cd3ea42d50eed0e86b1e4aa7a3839ae8ed843 Author: Yoshinari Takaoka <mumumu@mumumu.org> Fri, 19 Feb 2021 22:15:35 +0900 Parents: 5d5b81b2e5c03169a7b0b339afa3556545610d9d Branches: master Link: http://git.php.net/?p=doc/ja.git;a=commitdiff;h=984cd3ea42d50eed0e86b1e4aa7a3839ae8ed843 Log: Explain what consistitutes a more specific type Closes GH-457 Changed paths: M language/oop5/variance.xml Diff: diff --git a/language/oop5/variance.xml b/language/oop5/variance.xml index fd2297b659..daa8be3378 100644 --- a/language/oop5/variance.xml +++ b/language/oop5/variance.xml @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="utf-8"?> <!-- $Revision$ --> -<!-- EN-Revision: 84b2eca1809fb0b2a7315cefb8810ca96fbeebb6 Maintainer: mumumu Status: ready --> +<!-- EN-Revision: 871df69f47f578c79cad7889f7e27d4b737baf4d Maintainer: mumumu Status: ready --> <sect1 xml:id="language.oop5.variance" xmlns="http://docbook.org/ns/docbook"> <title>共変性と反変性</title> @@ -15,6 +15,29 @@ 一方で、反変性とは、親クラスのものよりも、より抽象的な、広い型を引数に指定することを許すものです。 </para> + <para> + 型宣言は、以下の場合により特定の、狭い型であると見なされます: + <itemizedlist> + <listitem> + <simpara> + union型から、特定の型が削除されている場合 + </simpara> + </listitem> + <listitem> + <simpara> + クラスの方が、子クラスの型に変更されている場合 + </simpara> + </listitem> + <listitem> + <simpara> + <type>float</type> が <type>int</type> に変更されている場合 + </simpara> + </listitem> + </itemizedlist> + + 上記と反対のことが当てはまる場合は、より抽象的な、広い型であると見なされます。 + </para> + <sect2 xml:id="language.oop5.variance.covariance"> <title>共変性</title>