这已经有了一个很好的答案,但我也会把我扔进游泳池.
C允许单独完成程序结构的声明和实现.它源于C/C++程序员如何相互发布新功能:头文件包含在依赖编译单元中,而不是依赖于编译中存在的元数据的单元(就像您使用C#或Java时所期望的那样).
每次你给编译器一个指令,无论它是一个声明(“这个接口会有这个东西”)还是一个实现(“这就是这个接口和这些行为的东西”),你有机会将它模板化指示.
事实上,您可以选择这样做,而不是要求这样做,这比Java和C#等更现代的语言提供了更多的灵活性.
考虑下面的模板(我生锈了,请稍微解决一些语法问题):
template
class IGotJunk {
private:
Junk myJunk_;
public:
void SetJunk(Junk const& source);
Junk const& GetJunk() const;
}
您对所述模板的“典型”实现可能包括以下默认行为:
template
void IGotJunk::SetJunk(Junk const& source)
{
myJunk_ = source;
}
但是,对于字符串,存在在复制指针后修改字符串的风险,在这种情况下,您可以提供一种专门的行为来确保字符串本身被复制,而不是指针(再次,它是一个很长的, 很久)…
void IGotJunk::SetJunk(char* const& source)
{
free(myJunk_);
myJunk_ = malloc(strlen(source) + 1);
strcpy(myJunk_, source);
}
然后你可以为GetJunk()做类似的事情.这可能是您必须为您创建的每个工件声明模板参数的原因:因为您可能不希望它们在每种情况下都相同.