主頁 > 後端開發 > Rust語言 - 介面設計的建議之顯而易見(Obvious)

Rust語言 - 介面設計的建議之顯而易見(Obvious)

2023-06-20 08:00:02 後端開發

Rust語言 - 介面設計的建議之顯而易見(Obvious)

  • Rust API 指南 GitHub:https://github.com/rust-lang/api-guidelines
  • Rust API 指南 中文:https://rust-chinese-translation.github.io/api-guidelines/
  • Rust API 指南:https://rust-lang.github.io/api-guidelines/

顯而易見(Obvious)

檔案與型別系統

  • 用戶可能不會完全理解介面的所有規則和限制
    • 重要:讓用戶容易理解介面,并難以用錯

檔案

  • 介面透明化的第一步:寫出好的檔案
  1. 清楚的記錄:
    1. 可能出現意外的情況,或它依賴于用戶執行超出型別簽名要求的操作
    2. 例:panic、回傳錯誤、unsafe 函式...

如果你的代碼可能會發生恐慌 panic,要把這一點記錄到你的檔案里,并且要記錄在什么情況下,它會發生恐慌,

如果你的代碼要回傳錯誤,要把這一點記錄到你的檔案里,并且要記錄在什么情況下,它會回傳錯誤,

unsafe 函式,要在檔案里寫明需要滿足什么條件才能安全的呼叫這個函式,

例子一:

// Panic(恐慌)是這兩種情況的一個很好的例子:如果代碼可能發生 Panic,請在檔案中明確說明這一點,以及可能導致 Panic 的情況,
// 同樣,如果代碼可能回傳錯誤,請記錄它回傳錯誤的情況,
// 對于 unsafe 的函式,請記錄呼叫者必須保證什么條件,才能確保呼叫時安全的,

/// 除法運算,回傳兩個數的結果,
/// 
/// # Panics
///
/// 如果除數為零,該函式會發生 panic,
///
/// # 示例
///
/// ```
/// let result = divide(10, 2);
/// assert_eq!(result, 5);
/// ```
pub fn divide(dividend: i32, divisor: i32) -> i32 { 
  // 實作代碼 ...
}

  1. 在 crate 或 module 級,包括端到端的用例
    1. 不是針對特定型別或方法,了解所有內容如何組合到一起
    2. 對介面的整體結構有一個相對清晰的理解
      1. 讓開發者快速了解到各方法和型別的功能,以及在哪使用
    3. 提供定制化使用的起點
      1. 通過復制粘貼,結合需求進行修改

例子:查看標準庫等相關檔案

  1. 組織好檔案
    1. 利用模塊來將語意相關的項進行分組
    2. 利用內部檔案鏈接將這些項相互連接起來
    3. 考慮使用 #[doc(hidden)] 標記那些不打算公開但出于遺留原因需要的介面部分,避免弄亂檔案

例子二:

/// 一個簡單的模塊,包含一些用于內部使用的函式和結構體,
pub mod internal {
  /// 一個用于內部計算的輔助函式,
  #[doc(hidden)]
  pub fn internal_helper() {
    // 內部計算的具體實作 ...
  }
  
  /// 一個僅用于內部使用的結構體,
  #[doc(hidden)]
  pug struct InternalStruct {
    // 結構體的欄位和方法 ...
  }
}

/// 一個公共介面函式,呼叫了內部的輔助函式,
pub fn public_function() {
  // 呼叫內部輔助函式
  internal::internal_helper();
}

/// 一個公共結構體,包含一些公共欄位和方法,

  1. 盡可能的豐富檔案
    1. 可以鏈接到解釋這些內容的外部資源:
      1. 相關的規范檔案(RFC)、博客、白皮書 ...
    2. 使用 #[doc(cfg(..))] 突出顯示僅在特定配置下可用的項
      1. 用戶能快速了解為什么在檔案中列出的某個方法不可用
    3. 使用 #[doc(alias = "...")] 可讓用戶以其他名稱搜索到型別和方法
    4. 在頂層檔案中,引導用戶了解常用的模塊、Trait、型別、方法

例子三:

//! 這是一個用于處理影像的庫,
//!
//! 這個庫提供了一些常用的影像處理功能,例如:
//! - 讀取和保存不同格式的影像檔案 [`Image::load`] [`Image::save`]
//! - 調整影像的大小、旋轉和裁剪 [`Image::resize`] [`Image::rotate`] [`Image::crop`]
//! - 應用不同的濾鏡和效果 [`Filter`] [`Effect`]
//!
//! 如果您想了解更多關于影像處理的原理和演算法,您可以參考以下的資源:
//! - [數字影像處理](https://book.douban.com/subject/5345798/),一個經典的教科書,介紹了影像處理的基本概念和方法,
//! - [Learn OpenCV](https://learnopencv.com/),一個網站,提供了很多用OpenCV實作影像處理功能的教程和示例代碼,
//! - [Awesome Computer Vision](https://github.com/jbhuang0604/awesome-computer-vision),一個GitHub倉庫,收集計算機視覺資源,

/// 一個表示影像的結構體
#[derive(Debug, Clone)]
pub struct Image {
  // ...
}

impl Image {
  /// 從指定的路徑加載一個影像檔案
  ///
  /// 支持的格式有:PNG、JPEG、GIF、BMP 等
  ///
  /// # 引數
  ///
  /// - `path`: 影像檔案的路徑
  ///
  /// # 回傳值
  ///
  /// 如果成功,回傳一個 [`Image`] 實體;如果失敗,回傳一個 [`Error`],
  ///
  /// # 示例
  ///
  /// ```no_run
  /// use image::Image;
  ///
  /// let img = Image::load("test.png")?;
  /// ```
  #[doc(alias = "讀取")]
  #[doc(alias = "打開")]
  pub fn load<P: AsRef<Path>>(path: P) -> Result<Self, Error> {
    // ...
  }
  
  /// 將影像保存到指定的路徑
  ///
  /// 支持的格式有:PNG、JPEG、GIF、BMP 等
  ///
  /// # 引數
  ///
}

例子四:

/// 一個只在啟用了 `foo` 特性時才可用的結構體,
#[cfg(feature = "foo")]
#[doc(cfg(feature = "foo"))]
pub struct Foo;

impl Foo {
  /// 一個只在啟用了 `foo` 特性時才可用的方法,
  #[cfg(feature = "foo")]
  #[doc(cfg(feature = "foo"))]
  pub fn bar(&self) {
    // ...
  }
}

fn main() {
  println!("Hello, world!");
}

型別系統

  • 型別系統可確保:
    • 介面明顯
    • 自我描述
    • 難以被誤用
  • 語意化型別:
    • 添加型別來表示值的意義(不僅僅適用基本型別)

例子五:

fn processDate(dryRun: bool, overwrite: bool, validate: bool) {
  // 處理資料的邏輯
}

enum DryRun {
  Yes,
  No,
}

enum Overwrite {
  Yes,
  No,
}

enum Validate {
  Yes,
  No,
}

fn processData(dryRun: DryRun, overwrite: Overwrite, validate: Validate) {
  // 處理資料的邏輯
}

processData(DryRun::Yes, Overwrite::No, Validate::Yes);

fn main() {
  println!("Hello, world!");
}
  • 使用”零大小“型別來表示關于型別實體的特定事實

例子六:

struct Grounded;
struct Launched;
// and so on

enum Color {
  White,
  Black,
}

struct Kilograms(u32);

struct Rocket<Stage = Grounded> {
  stage: std::marker::PhantomData<Stage>,
}

impl Default for Rocket<Grounded> {
  fn default() -> Self {
    Self {
      stage: Default::default()
    }
  }
}
impl Rocket<Grounded> {
  pub fn launch(self) -> Rocket<Launched> {
    Rocket {
      stage: Default::default(),
    }
  }
}

impl Rocket<Launched> {
  pub fn accelerate(&mut self) {}
  pub fn decelerate(&mut self) {}
}

impl<Stage> Rocket<Stage> {
  pub fn color(&self) -> Color {
    Color::White
  }
  pub fn weight(&self) -> Kilograms {
    Kilograms(0)
  }
}

fn main() {
  println!("Hello, world!");
}
  • #[must_use] 注解
    • 將其添加到型別、Trait 或函式中,如果用戶的代碼接收到該型別或 Trait 的元素,或呼叫了該函式,并且沒有明確處理它,編譯器將發出警告

例子七:

#[must_use]
fn process_data(data: Data) -> Result<(), Error> {
  // 處理資料的邏輯
  
  Ok(())
}

// 在這個示例中,我們使用 #[must_use] 注解將 process_data 函式標記為必須使用期回傳值,
// 如果用戶在呼叫該函式后沒有顯式處理回傳的 Result 型別,編譯器將發出警告,
// 這有助于提醒用戶在處理潛在的錯誤情況時要小心,并減少可能得錯誤,

fn main() {
  println!("Hello, world!");
}

本文來自博客園,作者:尋月隱君,轉載請注明原文鏈接:https://www.cnblogs.com/QiaoPengjun/p/17491922.html

轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/555552.html

標籤:其他

上一篇:java后端接入微信小程式登錄功能

下一篇:返回列表

標籤雲
其他(161273) Python(38242) JavaScript(25505) Java(18249) C(15237) 區塊鏈(8271) C#(7972) AI(7469) 爪哇(7425) MySQL(7258) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5875) 数组(5741) R(5409) Linux(5347) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4603) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2436) ASP.NET(2404) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) .NET技术(1984) HtmlCss(1968) 功能(1967) Web開發(1951) C++(1942) python-3.x(1918) 弹簧靴(1913) xml(1889) PostgreSQL(1881) .NETCore(1863) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 【C++】Microsoft C++、C 和匯編程式檔案

    ......

    uj5u.com 2020-09-10 00:57:23 more
  • 例外宣告

    相比于斷言適用于排除邏輯上不可能存在的狀態,例外通常是用于邏輯上可能發生的錯誤。 例外宣告 Item 1:當函式不可能拋出例外或不能接受拋出例外時,使用noexcept 理由 如果不打算拋出例外的話,程式就會認為無法處理這種錯誤,并且應當盡早終止,如此可以有效地阻止例外的傳播與擴散。 示例 //不可 ......

    uj5u.com 2020-09-10 00:57:27 more
  • Codeforces 1400E Clear the Multiset(貪心 + 分治)

    鏈接:https://codeforces.com/problemset/problem/1400/E 來源:Codeforces 思路:給你一個陣列,現在你可以進行兩種操作,操作1:將一段沒有 0 的區間進行減一的操作,操作2:將 i 位置上的元素歸零。最終問:將這個陣列的全部元素歸零后操作的最少 ......

    uj5u.com 2020-09-10 00:57:30 more
  • UVA11610 【Reverse Prime】

    本人看到此題沒有翻譯,就附帶了一個自己的翻譯版本 思考 這一題,它的第一個要求是找出所有 $7$ 位反向質數及其質因數的個數。 我們應該需要質數篩篩選1~$10^{7}$的所有數,這里就不慢慢介紹了。但是,重讀題,我們突然發現反向質數都是 $7$ 位,而將它反過來后的數字卻是 $6$ 位數,這就說明 ......

    uj5u.com 2020-09-10 00:57:36 more
  • 統計區間素數數量

    1 #pragma GCC optimize(2) 2 #include <bits/stdc++.h> 3 using namespace std; 4 bool isprime[1000000010]; 5 vector<int> prime; 6 inline int getlist(int ......

    uj5u.com 2020-09-10 00:57:47 more
  • C/C++編程筆記:C++中的 const 變數詳解,教你正確認識const用法

    1、C中的const 1、區域const變數存放在堆疊區中,會分配記憶體(也就是說可以通過地址間接修改變數的值)。測驗代碼如下: 運行結果: 2、全域const變數存放在只讀資料段(不能通過地址修改,會發生寫入錯誤), 默認為外部聯編,可以給其他源檔案使用(需要用extern關鍵字修飾) 運行結果: ......

    uj5u.com 2020-09-10 00:58:04 more
  • 【C++犯錯記錄】VS2019 MFC添加資源不懂如何修改資源宏ID

    1. 首先在資源視圖中,添加資源 2. 點擊新添加的資源,復制自動生成的ID 3. 在解決方案資源管理器中找到Resource.h檔案,編輯,使用整個專案搜索和替換的方式快速替換 宏宣告 4. Ctrl+Shift+F 全域搜索,點擊查找全部,然后逐個替換 5. 為什么使用搜索替換而不使用屬性視窗直 ......

    uj5u.com 2020-09-10 00:59:11 more
  • 【C++犯錯記錄】VS2019 MFC不懂的批量添加資源

    1. 打開資源頭檔案Resource.h,在其中預先定義好宏 ID(不清楚其實ID值應該設定多少,可以先新建一個相同的資源項,再在這個資源的ID值的基礎上遞增即可) 2. 在資源視圖中選中專案資源,按F7編輯資源檔案,按 ID 型別 相對路徑的形式添加 資源。(別忘了先把檔案拷貝到專案中的res檔案 ......

    uj5u.com 2020-09-10 01:00:19 more
  • C/C++編程筆記:關于C++的參考型別,專供新手入門使用

    今天要講的是C++中我最喜歡的一個用法——參考,也叫別名。 參考就是給一個變數名取一個變數名,方便我們間接地使用這個變數。我們可以給一個變數創建N個參考,這N + 1個變數共享了同一塊記憶體區域。(參考型別的變數會占用記憶體空間,占用的記憶體空間的大小和指標型別的大小是相同的。雖然參考是一個物件的別名,但 ......

    uj5u.com 2020-09-10 01:00:22 more
  • 【C/C++編程筆記】從頭開始學習C ++:初學者完整指南

    眾所周知,C ++的學習曲線陡峭,但是花時間學習這種語言將為您的職業帶來奇跡,并使您與其他開發人員區分開。您會更輕松地學習新語言,形成真正的解決問題的技能,并在編程的基礎上打下堅實的基礎。 C ++將幫助您養成良好的編程習慣(即清晰一致的編碼風格,在撰寫代碼時注釋代碼,并限制類內部的可見性),并且由 ......

    uj5u.com 2020-09-10 01:00:41 more
最新发布
  • Rust語言 - 介面設計的建議之顯而易見(Obvious)

    # Rust語言 - 介面設計的建議之顯而易見(Obvious) - [Rust API 指南 GitHub](https://github.com/rust-lang/api-guidelines): - [Rust API 指南 中文](https://rust-chinese-translat ......

    uj5u.com 2023-06-20 08:00:02 more
  • java后端接入微信小程式登錄功能

    # 前言 此文章是Java后端接入微信登錄功能,由于專案需要,舍棄了解密用戶資訊的`session_key`,只保留`openid`用于檢索用戶資訊 后端框架:spring boot 小程式框架:uniapp # 流程概括 - 官方流程:通過自定義登錄態與openid,session_key關聯,之 ......

    uj5u.com 2023-06-20 07:59:54 more
  • 一種實作Spring動態資料源切換的方法

    ## 1 目標 不在現有查詢代碼邏輯上做任何改動,實作dao維度的資料源切換(即表維度) ## 2 使用場景 節約bdp的集群資源。接入新的寬表時,通常uat驗證后就會停止集群釋放資源,在對應的查詢服務器uat環境時需要查詢的是生產庫的表資料(uat庫表因為bdp實時任務停止,沒有資料落入),只進行 ......

    uj5u.com 2023-06-20 07:59:44 more
  • java~搞懂Comparable介面的compareTo方法

    `Comparable` 介面的 `compareTo` 方法的升序或降序取決于實作該介面的類的具體實作。按照慣例,`compareTo` 方法應該回傳負數、零或正數來指示當前物件是小于、等于還是大于傳入的物件。具體來說: - 如果 `this` 物件小于傳入的物件,則 `compareTo` 應該 ......

    uj5u.com 2023-06-20 07:59:36 more
  • ElasticSearch的使用和介紹

    # 1、概述 ## 功能 Elasticsearch 是一個分布式的 RESTful 搜索和分析引擎,可用來集中存盤您的資料,以便您對形形色色、規模不一的資料進行搜索、索引和分析。 例如: - 在電商網站搜索商品 ![image](https://img2023.cnblogs.com/blog/3 ......

    uj5u.com 2023-06-20 07:54:11 more
  • Java 運算子的使用

    # Java 運算子的使用 # 1.算術運算子 ## 算術運算子包括: +, -, *, /, %, ++, --,其中需要注意的是%,++,--; ## % 取模運算也叫做取余,在 Java 中取余的規則: a % b = a - a / b * b,如果是小數的話是這樣:a % b = a- ( ......

    uj5u.com 2023-06-20 07:48:58 more
  • 【python基礎】函式-值傳遞

    為了更好的認識函式,我們還要研究值傳遞問題,再研究這個問題之前,我們已經知道了函式之間的值傳遞,是實參變數值傳遞給形參變數,然后讓形參變數在函式內完成相應的功能。但是因為資料型別的不同,這里的值傳遞產生的對實參變數的效果是不同的 # 1.傳遞資料本質 引數傳遞之間傳遞的肯定是資料,而這種資料本質上是 ......

    uj5u.com 2023-06-20 07:43:39 more
  • Spring Boot 優雅實作多租戶架構,so easy~!

    ## 一、概述 ### 1.什么是多租戶架構? 多租戶架構是指在一個應用中支持多個租戶(Tenant)同時訪問,每個租戶擁有獨立的資源和資料,并且彼此之間完全隔離。通俗來說,多租戶就是把一個應用按照客戶的需求“分割”成多個獨立的實體,每個實體互不干擾。 ### 2. 多租戶架構的優勢 - 更好地滿足 ......

    uj5u.com 2023-06-20 07:43:30 more
  • Scala高階語法

    # 高階函式 ## 函式可以作為引數進行傳遞和回傳值進行回傳 ```Scala //傳一個a乘b 就回傳一個函式,邏輯是實作兩數相乘 //傳一個a*b 回傳一個函式,邏輯是實作兩數相乘 //傳一個axb 回傳一個函式,邏輯是實作兩數相乘 def funTest6(str:String,fun:(St ......

    uj5u.com 2023-06-20 07:43:05 more
  • Python 標準類別庫-并發執行之multiprocessing-基于行程的并行

    ### 實踐環境 Python3.6 ### 介紹 `multiprocessing`是一個支持使用類似于執行緒模塊的API派生行程的包。該包同時提供本地和遠程并發,通過使用子行程而不是執行緒,有效地避開了全域解釋器鎖。因此,`multiprocessing`模塊允許程式員充分利用給定機器上的多個處理器 ......

    uj5u.com 2023-06-20 07:40:46 more