Re: [問題] void指標輸出值問題

看板C_and_CPP作者Hazukashiine (みなさん、こんにちは)時間8年前 (2017/11/16 09:24)推噓6(6推 0噓 1→)

留言7則, 7人參與討論串2/2 (看更多)

A) 首先 line 16 輸出 error 才是正常的 ptr 的型別是 void* 因此 *ptr 會對應到 void 但是 void 是 incomplete type 所以只能屬於 default B) C11 加入 _Generic 關鍵字是神奇的進展前處理器只做簡單的字串處理完全不會涉及到判斷 macro argument 的型別如果要在前處理階段時完成會使設計難度大增因此時至今日 _Generic 仍然在編譯階段處理 _Generic 的語法如下： _Generic(controlling-expression, association-list) where association-list | type-name ':' expression [yacc syntax, (LA)LR] | association-list type-name ':' expression 事實上這並沒有想像中的糟 O.O 早期工程師遇到這種問題時設計出了一套 hack 的方法 (compiler-dependent, GCC) #define is_of(x, t) (__builtin_types_compatible_p(__typeof__(x), t)) #define print(x) do { if (is_of(x, int)) \ printf("num = %d\n", x); \ else if (is_of(x, char)) \ printf("char = %c\n", x); \ else abort(); } while (0) int main (void) { char c = 'a'; int n = 10; float f = 1.2; print(n); // shows: num = 10 print(c); // char = a print(f); // Aborted (core dumped) } 這乍看下完美解決這個問題但是當這樣的需求越來越大的時候被編入語言標準的可能性就會大增好確保能跨平臺使用沒問題 C) 原本的寫法會觸發編譯警告雖然 _Gerenic 是 Generic Selection 沒錯但是編譯器還是會在所有的 expression 裡檢查語意的正確性由於輸入的型別並非固定要同時滿足 printf 的 format specifier 本質上是不可能的如果按照原先的代碼可能會產生 Wcast-align (Clang) 或是 Wstrict-aliasing (GCC) 等警告因此比較好的寫法應該會是： #define var_sp(x) _Generic((x), char: "%s%c\n", int: "%s%d\n") #define prompt(x) _Generic((x), char: "char = ", int: "num = ") int main (void) { char c = 'a'; int n = 10; printf(var_sp(c), prompt(c), c); printf(var_sp(n), prompt(n), n); } ※ 引述《rice9547 (一碗飯)》之銘言： : : 預期的正確結果(Expected Output)： : line 13, 14 輸出正確 : line 16卻輸出 error : 預期應該會和 line 13一樣 : : 程式碼(Code)：(請善用置底文網頁, 記得排版) : https://ideone.com/1FaCEr -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.113.68.52 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1510795456.A.761.html

推

james732

11/16 10:55, 8年前 , 1^F

11/16 10:55, 1^F

推

peterwu4

11/16 12:59, 8年前 , 2^F

11/16 12:59, 2^F

推

ilikekotomi

11/16 20:01, 8年前 , 3^F

11/16 20:01, 3^F