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;
    }
}

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

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，是否有办法让代码以某种方式失败？

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，但实际上并没有太大的区别。

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

#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()演示了访问权限。你真正揭露的是你自己。

将访问权限限制在命名空间中定义的全局变量上

1 个答案: