"Ссылка на изменчивое поле не будет рассматриваться как изменчивая"

Question

Следующий код

using System.Threading;

class Test
{
    volatile int counter = 0;
    public void Increment()
    {
        Interlocked.Increment(ref counter);
    }
}

Выдает следующее предупреждение компилятора:

"A reference to a volatile field will not be treated as volatile"

Я делаю что-то не так, чтобы поднять это предупреждение? Почему компилятор меня предупреждает об этом?

Answer 1

Вы не делаете ничего плохого. Согласно документации:

Энергозависимое поле обычно не следует передавать с использованием параметра ref или out, поскольку оно не будет рассматриваться как энергозависимое в рамках функции. Есть исключения из этого, например, при вызове заблокированного API.

Answer 2

По сути, предупреждение заключается в том, что когда вы передаете изменяемое поле по ссылке, вызывающий код не знает, как обработать его изменяемым образом. Для Interlocked.Increment это, вероятно, не имеет значения из-за характера метода - но тогда вам не нужно, чтобы переменная была изменчивой в любом случае, если вы используете Interlocked.

В общем, я думаю, что я бы избегал смешивать два - если вы используете Interlocked, делайте это везде (используя Interlocked.CompareExchange(ref counter, 0, 0) читать это). Я не могу сказать, что я использую volatile очень часто, лично. Для простых счетчиков я мог бы использовать Interlocked, но я чаще использую блокировку для большинства задач.

Answer 3

Использовать этот:

        #pragma warning disable 420
        //                       M
        //                      dM
        //                      MMr
        //                     4MMML                  .
        //                     MMMMM.                xf
        //     .              "MMMMM               .MM-
        //      Mh..          +MMMMMM            .MMMM
        //      .MMM.         .MMMMML.          MMMMMh
        //       )MMMh.        MMMMMM         MMMMMMM
        //        3MMMMx.     'MMMMMMf      xnMMMMMM"
        //        '*MMMMM      MMMMMM.     nMMMMMMP"
        //          *MMMMMx    "MMMMM\    .MMMMMMM=
        //           *MMMMMh   "MMMMM"   JMMMMMMP
        //             MMMMMM   3MMMM.  dMMMMMM            .
        //              MMMMMM  "MMMM  .MMMMM(        .nnMP"
        //  =..          *MMMMx  MMM"  dMMMM"    .nnMMMMM*
        //    "MMn...     'MMMMr 'MM   MMM"   .nMMMMMMM*"
        //     "4MMMMnn..   *MMM  MM  MMP"  .dMMMMMMM""
        //       ^MMMMMMMMx.  *ML "M .M*  .MMMMMM**"
        //          *PMMMMMMhn. *x > M  .MMMM**""
        //             ""**MMMMhx/.h/ .=*"
        //                      .3P"%....
        //                    nP"     "*MMnx
        if(Interlocked.CompareExchange(ref isLoaded, 1, 0) != 0)
            return;
        #pragma warning restore 420

Answer 4

Вы получаете ошибку, потому что вы передаете поле по ссылке. Я думаю, что это означает, что целевой метод не знает, что поле помечено как volatileи, следовательно, не будет относиться к нему как таковой.