C++ static function 在 class 中，返回参考

Question

After researching a bit I don't understand the output (source code below):

42

42

45

I'm fine with the second, but why I get this output? It's coming from fooling around with avoiding global constants and variables in a bigger project. Could someone please explain it to me?

#include <iostream>

class Const
{
public:
    Const() = delete;
    static auto foo(int val = 42) -> int&;
};

auto Const::foo(int val) -> int&
{
    static int sval = val;
    return sval;
}

int main()
{
    std::cout << Const::foo() << std::endl;
    Const::foo(24);
    std::cout << Const::foo() << std::endl;
    Const::foo() = 45;
    std::cout << Const::foo() << std::endl;

    return 0;
}

Answer 1

In your code:

#include <iostream>

class Const   // what a strange name for something that is not const.
{
public:
    Const() = delete;
    static auto foo(int val = 42) -> int&; 
};

auto Const::foo(int val) -> int&   // if you don't return a const reference, 
                                   // it may be modified by the caller 
{
    static int sval = val;   // val is not const, and only initialized 
                             // once.
    return sval;             // you return a reference to a mutable value.
}

int main()
{
    std::cout << Const::foo() << std::endl;    
    Const::foo(24);  // this changes nothing, the static  variable sval
                     // has already been initialized.  
    std::cout << Const::foo() << std::endl;
    Const::foo() = 45;                         // the reference returned by foo() is 
                                               // not const.  SO that works.
    std::cout << Const::foo() << std::endl;

    return 0;
}

To fix, Const::foo() should return a const int&.

Forget about using static function variables. When entering the function, the code must check each time if its static variables have been initialized. This usually involves using a hardware fence or some other thread-safe mechanism. These will unnecessarily slow down execution, especially when accessing these const values from multiple threads.