大声限制对命名空间中定义的全局变量的访问

Question

考虑到头文件中的以下内容，我在名称空间方面遇到了一个小问题：

namespace A {
    namespace B {
        void SetMemberValue(double value) { _member = value; }
        double FunctionThatUsesMember(double a) { return a * _member; }
        double AnotherFuncThatUsesMember(double a) { return a / _member; }
        static double _member = 0.01;
    }
}

我不希望用户能够通过A::B::_member = some_value更改_member的值。在阅读了未命名的名称空间后，我将其更改为：

namespace A {
    namespace B {
        void SetMemberValue(double value) { _member = value; }
        double FunctionThatUsesMember(double a) { return a * _member; }
        double AnotherFuncThatUsesMember(double a) { return a / _member; }
        namespace {
            double _member = 0.01;
        }
    }
}

这迫使用户使用提供的mutator功能，除了一个问题外，效果很好：

如果用户继续使用：A::B::_member = some_value，则代码不会编译、链接或运行失败；该语句被简单地忽略，并且使用0.01的默认值，这可能导致运行时错误或"OMG WTF is WRONG BBQ！！1！！"时刻。（声明没有失败可能是MSVC++和VS2010的问题，尽管我不确定。）

问题：当A::B::_member = some_value被错误使用时，有没有办法让代码以某种方式LOUDLY失败？

Answer 1

首先，请注意，在每个翻译单元中都会得到不同版本的_member！我不确定这是不是故意的。

如果您确实希望程序中有一个_member，并且不希望用户访问特定的全局变量，那么不应该在头中显示它！将其放入源中，并提供在那里访问它的功能：

// some-module.h
double getValue();
void   setValue(double value);
// some-module.cpp
#include "some-module.h"
static double value(0.01);
double getValue() { return value; }
void   setValue(double value) { ::value = value; }

我省略了名称空间，因为它们实际上并不重要。您可以在翻译单元中使用未命名的名称空间，而不是static，但这并没有多大区别。

如果您声称额外的函数调用是不可接受的，并且所有内容都必须在标头中，那么您可以将value设置为类的私有成员。您仍然需要将其封装到一个函数中，以避免重复的符号。如果您还将类包装到一个未命名的名称空间中，那么每个翻译单元也可以有一个版本的值：

#if ONE_VALUE_PER_TRANSLATION_UNIT
namespace {
#endif
class Value
{
    static double& value() { static double rc(0.01); return rc; }
    friend double getValue();
    friend void   setValue(double value);
};
double getValue() { return Value::value(); }
void   setValue(double value) { Value::value() = value; }
#if ONE_VALUE_PER_TRANSLATION_UNIT
}
#endif

显然，在所有这些情况下，您都可以添加更多访问该值的函数。我刚刚演示了使用简单的非成员函数getValue()和setValue()进行访问。你真正暴露的是你自己。