中国語 での 推导 の使用例とその 日本語 への翻訳
{-}
-
Ecclesiastic
-
Programming
-
Computer
无类型隐含着模板类型推导不能推导出匹配花括号初始化器列表的类型，故给定声明template<classT>voidf(T);
型がないということは、テンプレート型推定が波括弧初期化子リストにマッチする型を推定できないということを意味し、そのため宣言template<classT>voidf(T);类似的，规则（¬R）陈述了如果Γ和A足够推导出Δ，则从单独的Γ你可以要么仍然推导出Δ要么A必然为假，就是说¬A成立。
同様に、(¬R)規則はΓとAによってΔが導かれるなら、ΓのみからΔが真またはAが偽であること（Aが成り立たない）が導かれることを意味する。第三定律的推导可能有一些技术应用，但研究人员强调，其理论价值目前更重要。
この第三法則の導出には技術的な応用はあるかもしれないが、研究者らは現在は理論的価値の方がはるかに重要であると強調している。虽然列表推导等一些复合语句因其简洁性和表达性而被允许和赞赏，但在同一行代码上有两个脱节语句是不好的做法.
リスト内包表記のようないくつかの複合文は、その簡潔さと表現力のために許可され、評価されますが、同じコード行に2つの分離した文を持つことは悪い習慣です。如果这样能够推导出对身边经济问题的理解或者对经济政策的运营来说有重大意义的结论，就可以说应用经济学研究获得了成功。
そのようにして身近な経済問題の理解にとって、また経済政策の運営にとって、大いに意義のある結論が導き出されれば、応用経済学の研究として成功といえよう。我不明白为什么科学界还没有推导出空间必须quantisized，而这使得基础相对论和量子物理学如此简单推导。
科学界は空間がquantisizedしなければならないことが推定されていない理由を私は理解していない、これは相対性理論と導出するので、簡単な量子物理学の基礎をなします。随着观看的角度不断改变表情的深远形态，层层叠叠的几何学结构交织的神秘光辉--这些都是，仅由两个变量组成的公式推导出的结果。
这伴随将T&&用于函数模板时的模板实参推导特殊规则，组成令std::forward可行的规则。
これは、関数テンプレートでT&&が使用されたときのテンプレートの実引数推定に対する特別ルールと共に、std::forwardを可能とするルールを形成します。此外，由于爱因斯坦分析不是一个黑匣子，业务分析师可以访问分析背后的完整模型和算法，以更深入地了解预测和建议的推导。
さらに、EinsteinAnalyticsはブラックボックスではないため、ビジネスアナリストは完全なモデルと分析の背後にあるアルゴリズムにアクセスして、どのように予測や推奨事項が出されたのかをきちんと把握することができます。PubmedID:19483674诱导多能干细胞(iPS)代已启用特定病人的多能干细胞的推导和提供宝贵的实验平台，到人类疾病模型。
PubmedID:19483674人工多能性幹（iPS）細胞の生成は、患者固有の多能性細胞の誘導を有効にして、ヒトの疾患をモデル化するために貴重な実験的なプラットフォームを提供しています。对于每个拥有替换任何显式指定的模板实参前类型为非依赖的剩余形参P，若对应的实参A无法隐式转换成P，则推导失败。
明示的に指定されたテンプレート実引数の置換の前に日依存であった型を持つ残りの仮引数Pのそれぞれについて、対応する実引数AがPに暗黙に変換できない場合、推定は失敗します。若推导失败，或若推导成功，但它产生的特化无效（例如形参既非类类型亦非枚举类型的重载运算符），(C++14起)则重载集不包含该特化，这类似于SFINAE。
推定が失敗した場合、または推定は成功したけれども生成された特殊化が無効(例えば仮引数がクラスでも列挙型でもないオーバーロード演算子)であった場合(C++14以上)、その特殊化はオーバーロード集合に含まれません(SFINAEと同様です)。在直接列表初始化（但不是复制列表初始化）中，从花括号初始化器列表推导auto的含义时，花括号初始化器列表必须只含一个元素，且auto的类型将是该元素的类型：.
直接リスト初期化では(コピーリスト初期化には適用されません)、波括弧初期化子リストからautoの意味を推定するとき、波括弧初期化子リストは要素を1つだけ含まなければならず、autoの型はその要素の型になります。但当德裔瑞士代表称“在我们现在的年代，没有任何一个严肃的科学家会通过地球的尺寸来推导一米的长度”时，他们就放心了。
ドイツ生まれのスイスの代表が「現代の科学者で、地球の大きさから導き出される1メートルを想定している者はいない」と発言したため、フランスの政治家は安心した。对于具有在替换任何显式指定的模板实参之前并非待决的类型的每个剩余形参P，若对应的实参A无法隐式转换成P，则推导失败。
明示的に指定されたテンプレート実引数の置換の前に日依存であった型を持つ残りの仮引数Pのそれぞれについて、対応する実引数AがPに暗黙に変換できない場合、推定は失敗します。从小鼠胚胎干细胞的造血干细胞的推导ShannonMcKinney-Freeman1,GeorgeDaley11ChildrensHospital,HarvardStemCellInstitute,HarvardMedicalSchool该协议的细节从小鼠胚胎干细胞（ESC），并随后注入到致死剂量照射的的受体小鼠的造血干细胞移植的推导。
マウス胚性幹細胞から造血幹細胞の導出ShannonMcKinney-Freeman1,GeorgeDaley11ChildrensHospital,HarvardStemCellInstitute,HarvardMedicalSchoolこのプロトコルの詳細マウス胚性幹細胞（ESC）と致死量の放射線照射、レシピエントマウスへの彼らのその後の注射から移植造血幹細胞の派生。然而，可从另外情况推导模板形参，如std::vector<int>v(std::istream_iterator<int>(std::cin),{})的情况，其中迭代器类型从首个参数推导，但亦用于第二形参位置。
しかし、それ以外はテンプレート引数を推定でき、例えばstd::vector<int>v(std::istream_iterator<int>(std::cin),{})の場合、イテレータの型は第1引数によって推定され、それが第2引数の位置でも使用されます。若从P移除引用和cv限定符之后给出P'[N]，而A是非空花括号初始化器列表，则如上进行推导，但若N是非类型模板实参，则从初始化器列表的长度推导它：.
Pから参照とcv修飾を取り除くとP'[N]であり、Aが空でない波括弧初期化子リストである場合は、上で述べた通りに推定が行われますが、ただしNが非型テンプレート仮引数である場合は、それは初期化子リストの長さから推定されます。以从这里推导得出。
ここから,が導かれる。缺省值是从DbType推导出来的。
デフォルト値はDbTypeから推定されます。
