なぜauto a = 1; Cでコンパイルしますか？

コード：

int main(void)
{
    auto a=1;
    return 0;
}

ファイルに.c拡張子が付いている場合、MS Visual Studio 2012コンパイラによってエラーなしでコンパイルされます。私は、.c拡張子を使用する場合、コンパイルはC ++ではなくC構文に従う必要があると常に考えていました。さらに、私が知る限り、型なしのautoは、C ++ 11以降のC ++でのみ許可されています。これは、型が初期化子から推定されることを意味します。

それは私のコンパイラがCに固執していないことを意味しますか、それともコードは実際にはC言語で正しいのですか？

auto「ローカルスコープ」を意味する古いCキーワードです。はとauto a同じauto int aです。ローカルスコープは関数内で宣言された変数のデフォルトであるため、int aこの例でも同じです。

このキーワードは、実際には基本型が存在しなかったCの先行Bからの残りである：すべてがあったint、へのポインタintのアレイ、int（*）宣言のいずれかであろう。autoまたはextrn[原文のまま]。C intはデフォルトの規則として「すべてが」を継承しているため、次のようにして整数を宣言できます。

auto a;
extern b;
static c;

ISO Cはこれを取り除きましたが、多くのコンパイラは下位互換性のためにこれをまだ受け入れています。慣れていない場合は、関連するルールが機能していることを理解する必要があります

unsigned d;  // actually unsigned int

現在のコードではまだ一般的です。

C ++ 11はキーワードを再利用しました。C++プログラマーが型の推論のために元の意味で使用していたとしても、このキーワードはほとんどありません。intCの「すべてが」ルールはC ++ 98ですでに削除されているため、これはほとんど安全です。壊れる唯一のものはauto T a、とにかく誰も使っていなかったことです。（言語の歴史に関する彼の論文のどこかで、Stroustrupはこれについてコメントしていますが、今のところ正確な参考文献を見つけることができません。）

（*）Bでの文字列処理は興味深いものintでした。配列を使用し、各メンバーに複数の文字をパックします。Bは実際には異なる構文のBCPLでした。

これは「いいえ」に対する回答であり、拡張コメントでもあります。これは、1999年以来、正当なCではありません。適切な最新のCコンパイラではこれを許可していません。

はい、auto a=1;C1999（およびC2011）では違法です。これが違法になったからといって、最新のCコンパイラがそのような構造を含むコードを拒否する必要があるわけではありません。私はまさしくその反対を主張します、まともな現代のCコンパイラはまだこれを可能にする必要があります。

clangとgccはどちらも、問題のサンプルコードを1999または2011バージョンの標準に対してコンパイルするときにそれを行います。どちらのコンパイラーも診断を発行し、次に問題のあるステートメントがあったかのように続行しますauto int a=1;。

私の意見では、これはまともなコンパイラーがすべきことです。診断を発行することにより、clangとgccは標準に完全に準拠しています。標準では、コンパイラが不正なコードを拒否する必要があるとは規定されていません。規格は、翻訳単位に構文規則または制約の違反が含まれている場合、適合実装は少なくとも1つの診断メッセージを生成する必要があると述べています（5.1.1.3）。

不正な構成を含むコードが与えられた場合、適切なコンパイラは不正なコードを理解しようと試み、コンパイラがコード内の次のエラーを見つけられるようにします。最初のエラーで停止するコンパイラは、あまり良いコンパイラではありません。から意味を理解する方法がありauto a=1ます。これは、「暗黙のint」ルールを適用することです。このルールは、コンパイラーがC90またはK＆Rモードで使用されauto a=1ている場合と同じようにコンパイラーに解釈させるauto int a=1。

ほとんどのコンパイラは通常、不正な構文を含むコードを拒否（拒否：オブジェクトファイルまたは実行可能ファイルの生成を拒否）します。これは、コンパイラの作者がコンパイルに失敗することが最善の選択肢ではないと決定したケースです。最善の方法は、診断を発行してコードを修正し、続行することです。のような構成で実行されているレガシーコードが多すぎregister a=1;ます。コンパイラーは、そのコードをC99またはC11モードで（もちろん診断付きで）コンパイルできる必要があります。

auto2011年以前の意味がCありC++ます。つまり、変数には自動有効期間、つまりスコープによって決定される有効期間があります。これはstatic、スコープに関係なく、変数が「永久に」存続する寿命などとは対照的です。autoはデフォルトの存続期間であり、明示的にスペルアウトされることはほとんどありません。このため、で意味を変更しても安全でしたC++。

現在でCは、99 Standardの前に、変数のタイプを指定しない場合、デフォルトでになりintます。

したがってauto a = 1;、int変数を宣言（および定義）し、有効期間はスコープによって決定されます。

（「ライフタイム」はより適切には「ストレージ期間」と呼ばれますが、それはおそらくあまり明確ではないと思います）。

Cでは、C ++の歴史的な方言autoは、a自動ストレージを備えたキーワードの意味です。デフォルトで自動であるローカル変数にのみ適用できるため、誰も使用しません。これが、C ++がキーワードを転用した理由です。

歴史的に、Cは型指定子のない変数宣言を許可してきました。タイプのデフォルトはintです。したがって、この宣言は

int a=1;

これは現代のCでは非推奨（そしておそらく禁止されている）だと思います。しかし、一部の一般的なコンパイラはデフォルトでC90に設定されており（これは許可されていると思います）、不愉快なことに、具体的に要求した場合にのみ警告を有効にします。GCCでコンパイルし、C99を指定して-std=c99、またはで警告を有効にする-Wallか-Wimplicit-int、警告を与えます：

warning: type defaults to ‘int’ in declaration of ‘a’

Cではauto、同じことを意味しますregister、それは変数が自動記憶域期間を持つことを意味します：C ++ 11で行います。

そしてC99より前のCでは（そしてMicrosoftのコンパイラはC99もC11もサポートしていませんが、その一部をサポートしている可能性があります）、多くの場合、タイプを省略できます。 int。

イニシャライザからの型は一切取りません。あなたはたまたま互換性のあるイニシャライザを選びました。

Visual Studioのコンパイルタイプは、で入手できますright click on file -> Properties -> C/C++ -> Advanced -> Compile As。Cの強制/TCオプションとしてコンパイルされていることを確認します。この場合、ラースマンが言ったとおりです（古いC autoキーワード）。知らないうちにC ++としてコンパイルされるかもしれません。

ストレージクラスは、Cプログラム内の変数や関数のスコープ（可視性）と寿命を定義します。

Cプログラムで使用できる以下のストレージクラスがあります。

auto
register
static
extern

auto すべてのローカル変数のデフォルトのストレージクラスです。

{
        int Count;
        auto int Month;
}

上記の例では、同じストレージクラスで2つの変数を定義しています。autoは関数、つまりローカル変数内でのみ使用できます。

intauto以下のコードのデフォルトタイプです：

auto Month;
/* Equals to */
int Month;

以下のコードも合法です：

/* Default-int */
main()
{
    reurn 0;
}