2 
 
        
      
      Cのvoid型がempty / bottom型と類似していないのはなぜですか?
      
  ウィキペディアと私が見つけた他のソースはvoid、空のタイプではなくユニットタイプとしてリストCのタイプを見つけました。void空の/下の型の定義によりよく適合するように思えるので、この混乱を見つけます。 void私が知る限り、値は存在しません。 戻り値の型がvoidの関数は、関数が何も返さないため、何らかの副作用しか実行できないことを指定します。 タイプのポインターvoid*は、他のすべてのポインタータイプのサブタイプです。また、void*C との間の変換は暗黙的です。 最後の点voidに、空の型であることの引数としてのメリットがあるかどうかはわかりvoid*ませんvoid。 一方、voidそれ自体は他のすべてのタイプのサブタイプではありません。これは、タイプがボトムタイプであるための要件であると言えます。
      
        
          
                   28
                
        
        
          
                  
                    type-theory 
                  
                    c 
                  
                    logic 
                  
                    modal-logic 
                  
                    coq 
                  
                    equality 
                  
                    coinduction 
                  
                    artificial-intelligence 
                  
                    computer-architecture 
                  
                    compilers 
                  
                    asymptotics 
                  
                    formal-languages 
                  
                    asymptotics 
                  
                    landau-notation 
                  
                    asymptotics 
                  
                    turing-machines 
                  
                    optimization 
                  
                    decision-problem 
                  
                    rice-theorem 
                  
                    algorithms 
                  
                    arithmetic 
                  
                    floating-point 
                  
                    automata 
                  
                    finite-automata 
                  
                    data-structures 
                  
                    search-trees 
                  
                    balanced-search-trees 
                  
                    complexity-theory 
                  
                    asymptotics 
                  
                    amortized-analysis 
                  
                    complexity-theory 
                  
                    graphs 
                  
                    np-complete 
                  
                    reductions 
                  
                    np-hard 
                  
                    algorithms 
                  
                    string-metrics 
                  
                    computability 
                  
                    artificial-intelligence 
                  
                    halting-problem 
                  
                    turing-machines 
                  
                    computation-models 
                  
                    graph-theory 
                  
                    terminology 
                  
                    complexity-theory 
                  
                    decision-problem 
                  
                    polynomial-time 
                  
                    algorithms 
                  
                    algorithm-analysis 
                  
                    optimization 
                  
                    runtime-analysis 
                  
                    loops 
                  
                    turing-machines 
                  
                    computation-models 
                  
                    recurrence-relation 
                  
                    master-theorem 
                  
                    complexity-theory 
                  
                    asymptotics 
                  
                    parallel-computing 
                  
                    landau-notation 
                  
                    terminology 
                  
                    optimization 
                  
                    decision-problem 
                  
                    complexity-theory 
                  
                    polynomial-time 
                  
                    counting 
                  
                    coding-theory 
                  
                    permutations 
                  
                    encoding-scheme 
                  
                    error-correcting-codes 
                  
                    machine-learning 
                  
                    natural-language-processing 
                  
                    algorithms 
                  
                    graphs 
                  
                    social-networks 
                  
                    network-analysis 
                  
                    relational-algebra 
                  
                    constraint-satisfaction 
                  
                    polymorphisms 
                  
                    algorithms 
                  
                    graphs 
                  
                    trees