我有这个 .h 文件:
namespace{
class Invariant{
public:
Invariant(z3::expr e,Instruction *i):Expr(e),I(i){
DenseMap<Instruction*,Invariant*> FunMap = Invariants[F];
}
private:
//static map
static DenseMap<Function*, DenseMap<Instruction*,Invariant*> >Invariants;
};
}//end of anonymous namespace
当我编译 clang 时说:
Invariant.h:46:65: warning: variable '<anonymous namespace>::Invariant::Invariants' has internal linkage but is not defined
static DenseMap<Function*, DenseMap<Instruction*,Invariant*> >Invariants;
^
Invariant.h:26:48: note: used here
DenseMap<Instruction*,Invariant*> FunMap = Invariants[F];
这里有什么问题?
最佳答案
只是定义它。在类定义之后但在匿名命名空间结束之前添加这一行:
DenseMap<Function*, DenseMap<Instruction*,Invariant*> > Invariant::Invariants;
这将在包含此 header 的每个翻译单元中创建静态成员(这没关系,因为它位于匿名 namespace 中,每个翻译单元都是唯一的)。这可能不是您想要的,但这是在匿名命名空间中定义 Invariant
之后的结果。如果改用命名空间,则可以将 Invariants
的定义放入源文件中,所有代码只共享一个对象。
关于c++ - 变量具有内部链接但未定义,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15871341/