<ruby id="bdb3f"></ruby>

    <p id="bdb3f"><cite id="bdb3f"></cite></p>

      <p id="bdb3f"><cite id="bdb3f"><th id="bdb3f"></th></cite></p><p id="bdb3f"></p>
        <p id="bdb3f"><cite id="bdb3f"></cite></p>

          <pre id="bdb3f"></pre>
          <pre id="bdb3f"><del id="bdb3f"><thead id="bdb3f"></thead></del></pre>

          <ruby id="bdb3f"><mark id="bdb3f"></mark></ruby><ruby id="bdb3f"></ruby>
          <pre id="bdb3f"><pre id="bdb3f"><mark id="bdb3f"></mark></pre></pre><output id="bdb3f"></output><p id="bdb3f"></p><p id="bdb3f"></p>

          <pre id="bdb3f"><del id="bdb3f"><progress id="bdb3f"></progress></del></pre>

                <ruby id="bdb3f"></ruby>

                ??一站式輕松地調用各大LLM模型接口,支持GPT4、智譜、豆包、星火、月之暗面及文生圖、文生視頻 廣告
                有時,當你編寫函數或數據類型時,我們可能會希望它能處理多種類型的參數。幸運的是,Rust有一個能給我們更好選擇的功能:泛型。泛型在類型理論中叫做_參數多態_(_parametric polymorphism_),它意味著他們是對于給定參數(parametric)能夠有多種形式(`poly`是多,`morph`是形態)的函數或類型。 不管怎么樣,類型理論就說這么多,現在我們來看些泛型代碼。Rust標準庫提供了一個類型,`Option`,它是泛型的: ~~~ enum Option<T> { Some(T), None, } ~~~ ``部分,你可能見過幾次了,代表它是一個泛型數據類型。在我們枚舉聲明中,每當我們看到`T`,我們用這個類型代替我們泛型中使用的類型。下面是一個使用`Option`的例子,它帶有額外的類型標注: ~~~ let x: Option<i32> = Some(5); ~~~ 在類型聲明中,我們看到`Option`。注意它與`Option`的相似之處。所以在這個特定的`Option`中,`T`是`i32`。在綁定的右側,我們用了`Some(T)`,`T`是`5`。因為那是個`i32`,兩邊類型相符,所以皆大歡喜。如果不相符,我們會得到一個錯誤: ~~~ let x: Option<f64> = Some(5); // error: mismatched types: expected `core::option::Option<f64>`, // found `core::option::Option<_>` (expected f64 but found integral variable) ~~~ 這并不是意味著我們不能寫一個`f64`的`Option`!只是類型必須相符: ~~~ let x: Option<i32> = Some(5); let y: Option<f64> = Some(5.0f64); ~~~ 這樣就好了。一個定義,多種用途。 不一定只有一個類型是泛型的。考慮下Rust內建的`Result`類型: ~~~ enum Result<T, E> { Ok(T), Err(E), } ~~~ 這里有兩個泛型類型:`T`和`E`。另外,大寫字母可以是任何你喜歡的(大寫)字母。我們可以定義`Result`為: ~~~ enum Result<A, Z> { Ok(A), Err(Z), } ~~~ 如果你想這么做的話。慣例告訴我們第一個泛型參數應該是`T`,代表`type`,然后我們用`E`來代表`error`。然而,Rust并不管這些。 `Result`意圖作為計算的返回值,并為了能夠在不能工作時返回一個錯誤。 ## 泛型函數 我們可以用熟悉的語法編寫一個獲取泛型參數的函數: ~~~ fn takes_anything<T>(x: T) { // do something with x } ~~~ 語法有兩部分:``代表“這個函數帶有一個泛型類型”,而`x: T`代表“`x`是`T`類型的”。 多個參數可以有相同的泛型類型: ~~~ fn takes_two_of_the_same_things<T>(x: T, y: T) { // ... } ~~~ 我們可以寫一個獲取多個(泛型)類型的版本: ~~~ fn takes_two_things<T, U>(x: T, y: U) { // ... } ~~~ 泛型函數結合“特性約束”時最有用,我們會在[特性部分](http://doc.rust-lang.org/nightly/book/traits.html)涉及到它。 ## 泛型結構體(Generic structs) 你也可以在一個`struct`中儲存泛型類型: ~~~ struct Point<T> { x: T, y: T, } let int_origin = Point { x: 0, y: 0 }; let float_origin = Point { x: 0.0, y: 0.0 }; ~~~ 與函數類似,``是我們聲明的泛型參數,而我們也接著在類型定義中使用`x: T`。
                  <ruby id="bdb3f"></ruby>

                  <p id="bdb3f"><cite id="bdb3f"></cite></p>

                    <p id="bdb3f"><cite id="bdb3f"><th id="bdb3f"></th></cite></p><p id="bdb3f"></p>
                      <p id="bdb3f"><cite id="bdb3f"></cite></p>

                        <pre id="bdb3f"></pre>
                        <pre id="bdb3f"><del id="bdb3f"><thead id="bdb3f"></thead></del></pre>

                        <ruby id="bdb3f"><mark id="bdb3f"></mark></ruby><ruby id="bdb3f"></ruby>
                        <pre id="bdb3f"><pre id="bdb3f"><mark id="bdb3f"></mark></pre></pre><output id="bdb3f"></output><p id="bdb3f"></p><p id="bdb3f"></p>

                        <pre id="bdb3f"><del id="bdb3f"><progress id="bdb3f"></progress></del></pre>

                              <ruby id="bdb3f"></ruby>

                              哎呀哎呀视频在线观看