来自不变函数的 return 上的 c++ 断言失败

Question

我是 C++ 的新手，所以请多多包涵...

我正在写一个 class，它包含一个 std::string 变量，我检查它是否是一个有效的 C 语言标识符。 有效标识符以“_”或字母开头，并以字母、数字或 _ 继续。 此 class 由以下 classes NamedObject 和 Foo 使用。

class Name{
    std::string name;
protected:
    virtual bool Inv(void) const{
            if (name[0] >= 'A' && name[0] <= 'Z') return true;
            if (name[0] >= 'a' && name[0] <= 'z') return true;
            if (name[0] == '_')                   return true;
            std::cout << "String input is not a valid identifier."<< std::endl;
            return false;
        }
public:
    Name(){}
    Name(std::string _name) : name(_name){ assert(Inv()); }
    Name(Name& n) : name(n.name) { assert(Inv()); }
    //more constructors and methods
};

class NamedObject{
    Name objectsName;
public:
    //Constructors & Destructor
    NamedObject()          : objectsName(Name()) {}
    NamedObject(Name name) : objectsName(name) {}
    ~NamedObject() {}

    //Accessors-Modifiers
    const Name& Get(void) const { return objectsName; }
    void        Set(const Name name) { objectsName = name; }
};

class Foo : public NamedObject {
public:
    Foo() : NamedObject() {}
    Foo(Name name) : NamedObject(name) {}
    ~Foo();
};

当我尝试代码时：

Name n1("a_1");
Foo *f1 = new Foo(n1);
n1.Set("*a_2");
Foo *f2 = new Foo(n1);

我收到以下错误：断言失败：Inv() 第 64 行（第二个断言行）我一直试图找出 Inv() 的问题，但没有找到任何问题。

Answer 1

尝试

virtual bool Inv() const
{
  return std::isalpha(name[0]) || name[0] == '_';
}

Answer 2

肯定会断言失败，因为您的 "*a_2" 字符串不是有效名称（它不是以字母或下划线开头）。

如果您不想断言失败，那么也可以允许名称以星号开头 "*"，或者使用以字母或下划线开头的名称。

（顺便说一句，正如 Walter 所指出的，使用 isalpha() 而不是针对字符代码进行的笨拙的、不可移植的不等式检查会更好。）

来自不变函数的 return 上的 c++ 断言失败

c++ Assertion failure on return from invariant function

c++

inheritance

invariants