ADT在C - 有或沒有指針？

Question

在理論上似乎書籍sugest用C聲明ADT爲：

struct some_structure; 
typedef some_structure *some_structure_t; 

而大多數代碼使用：

struct some_structure; 
typedef some_structure some_structure_t; 

我知道const不與第一種樣式的工作。這是真正的圖書館不使用第一種方法的唯一原因嗎？有沒有其他的通知或建議？

Answer 1

您的意思是抽象數據類型？如果我從你的代碼snipsets中的語法錯誤中抽象;-)，我認爲是的typedef指針類型是皺眉，因爲const和volatile的問題。

順便說一句，您的代碼的另一個問題是您選擇的名稱。 _t作爲結尾保留在POSIX中供將來使用。

Answer 2

我用

typedef struct some_s *some_t; 

和地方事務我要麼使用const struct some_s*或typedef const struct some_s *const_some_t，但我想這是個人喜好的問題。

Answer 3

我以前用第一種方式去，但是我發現我對於訪問結構成員所需的間接尋址級別感到困惑，於是我開始向指針類型添加後綴，例如，

typedef struct AStruct *AStructRef; 

但後來我意識到我正在有效地重新創建*運算符以阻止我被隱藏*運算符所迷惑。所以，現在我採用第二種風格。

Answer 4

抽象數據類型對於像「對象」這樣的東西有效執行操作很有用。

如果可以，在C中，完全避免使用「typedef」關鍵字。它掩蓋了真正發生的事情。作爲初學者，我建議你在任何你想使用typedef的地方都明確輸入struct AStruct。

從那裏你可以通過聲明一個函數，該函數將一個指向「抽象數據類型」（或對象，我喜歡思考）的指針作爲第一個參數，對你的「抽象數據類型」執行一個「動作」然後是正常參數。

例如

int some_func(struct AStruct *pObject, int param1, int param2) { 
    if ((param1 < 0) || (param2 < 0)) 
    return(0); 
    pObject->val = param1 + param2; 
    return(1); 
} 

然後使用：

#include <stdio.h> 
int main(void) { 
    struct AStruct myObject; 

    if (some_func(&myObject, 10, 12)) { 
    printf("Processed: %d\n", myObject.val); 
    } else { 
    printf("Failed\n"); 
    } 
    return(0); 
} 

Answer 5

這取決於什麼其他人的代碼將與這些類型做。由於磁帶庫的用戶，如果我認爲some_structure_t是一個結構，而不是一個指向一個結構，我可能會做這樣的事情：

some_structure_t *p; 

p = malloc(sizeof *p); 
memcpy(p, &another_p, sizeof *p); 

也許這是我的背景，作爲一個嵌入式的程序員，但我想在我使用它的代碼中瞭解有關some_structure_t的更多信息。即使它是一個真正的抽象類型，並且它只被用作最終用戶代碼中的參數或返回值，但您仍然必須在支持該類型的庫中處理它。如果我看到了下面的代碼，我會做恍然大悟：

some_structure_t some_function(some_structure_t foo) 
{ 
    some_structure_t retval; 

    retval = malloc(sizeof *retval); // assigning pointer to struct? 
    retval->member = foo->member;  // using -> instead of .? 

    return retval;      // returning potentially large structure on stack? 
} 

也許這是最大的一個 - 從一個some_structure_t複製到另一個。如果是int或float或struct，則編寫foo = bar將進行復制。如果some_structure_t被定義爲指向結構體的指針，則foo和bar指向同一個對象。也許這就是你想要的，但對我來說似乎有風險。

我不知道MISRA有沒有關於指針的typedefs的說法。