C言語エラー C3894：静的メンバー初期化エラーの原因と対策について解説

#include <iostream>
// C3894Error.cpp
// 注意：本コードはエラーを再現するための例であり、コンパイル時にエラーとなります。
ref struct Sample {
    initonly static int staticVar = 0;  // 初期化は宣言時か、静的コンストラクターでのみ可能
public:
    // 正しい初期化は静的コンストラクター内で行いますが、
    // インスタンスコンストラクターで初期化しようとするとエラーとなります。
    Sample(int i) {
        staticVar = i;  // エラー C3894 が発生する例
    }
    // 静的コンストラクター
    static Sample() {
        staticVar = 100;  // こちらはOK
        std::wcout << L"静的コンストラクター内で初期化" << std::endl;
    }
};
int main() {
    // クラス外部での直接代入もエラーとなります。
    Sample::staticVar = 50;  // エラー C3894 が発生する例
    Sample^ sampleObj = gcnew Sample(200);
    return 0;
}

// コンパイル時に以下のようなエラーメッセージが表示される例(エラーメッセージ例)
error C3894: 'staticVar': initonly 静的データ メンバーの左辺値は、クラス 'Sample' のクラス コンストラクターだけで使用できます

#include <iostream>
ref struct CorrectInit {
    initonly static int data = 0;
public:
    // 静的コンストラクター内で正しく初期化
    static CorrectInit() {
        data = 123;  // OK：静的コンストラクター内での初期化
        std::wcout << L"静的コンストラクターで data を初期化" << std::endl;
    }
    // インスタンスコンストラクター(data には触らない)
    CorrectInit() {
        std::wcout << L"インスタンスコンストラクター呼び出し" << std::endl;
    }
};
int main() {
    CorrectInit^ obj = gcnew CorrectInit();
    std::wcout << L"data: " << CorrectInit::data << std::endl;
    return 0;
}

静的コンストラクターで data を初期化
インスタンスコンストラクター呼び出し
data: 123

#include <iostream>
ref struct WrongInit {
    initonly static int data = 0;
public:
    // インスタンスコンストラクター内での初期化はNG
    WrongInit(int value) {
        data = value;  // エラー C3894 を発生させる
        std::wcout << L"インスタンスコンストラクター内での初期化は不可" << std::endl;
    }
};
int main() {
    WrongInit^ obj = gcnew WrongInit(456);
    return 0;
}

// コンパイルエラー：error C3894 が発生

#include <iostream>
ref struct ErrorExample {
    initonly static int staticField = 0;
public:
    // 静的コンストラクターではないため、初期化不可
    ErrorExample(int value) {
        staticField = value;  // エラー C3894 を発生させる
        std::wcout << L"インスタンスコンストラクター内で staticField を変更" << std::endl;
    }
    static void Test() {
        // ここでの直接代入もNG
        staticField = 321;  // エラー C3894 を発生させる
    }
};
int main() {
    ErrorExample^ example = gcnew ErrorExample(789);
    ErrorExample::Test();
    return 0;
}

// コンパイル時にエラーが発生します。
// error C3894: 'staticField': initonly 静的データ メンバーの左辺値は、クラス 'ErrorExample' のクラス コンストラクターだけで使用できます

#include <iostream>
ref struct DeclarationInit {
    // 宣言時に初期値を設定(初期化はこの場で完結)
    initonly static int value = 500;
public:
    DeclarationInit() {
        std::wcout << L"インスタンス作成、しかし value は変更されない" << std::endl;
    }
};
int main() {
    DeclarationInit^ obj = gcnew DeclarationInit();
    std::wcout << L"value: " << DeclarationInit::value << std::endl;
    return 0;
}

インスタンス作成、しかし value は変更されない
value: 500

#include <iostream>
ref struct StaticConstructorInit {
    initonly static int counter = 0;
public:
    // 静的コンストラクターで初期化
    static StaticConstructorInit() {
        counter = 1000;
        std::wcout << L"静的コンストラクターにて counter を初期化" << std::endl;
    }
    StaticConstructorInit() {
        std::wcout << L"インスタンスコンストラクター呼び出し" << std::endl;
    }
};
int main() {
    StaticConstructorInit^ instance = gcnew StaticConstructorInit();
    std::wcout << L"counter: " << StaticConstructorInit::counter << std::endl;
    return 0;
}

静的コンストラクターにて counter を初期化
インスタンスコンストラクター呼び出し
counter: 1000

#include <iostream>
ref struct CorrectedExample {
    initonly static int data = 0;
public:
    // 静的コンストラクターで初期化
    static CorrectedExample() {
        data = 777;  // 正しい初期化方法
        std::wcout << L"静的コンストラクターで data の初期化" << std::endl;
    }
    // インスタンスコンストラクターでは data の変更を行わない
    CorrectedExample() {
        std::wcout << L"インスタンス作成時の処理" << std::endl;
    }
};
int main() {
    CorrectedExample^ obj = gcnew CorrectedExample();
    std::wcout << L"data: " << CorrectedExample::data << std::endl;
    return 0;
}

静的コンストラクターで data の初期化
インスタンス作成時の処理
data: 777