c++的标准定义

c++ primer 5th 中有一段很是让我不理解的话：

Similarly, programs usually should avoid implementation-defined behavior,such as assuming that the size of an int is a fixed and known value. Such programs are said to be nonportable. When the program is moved to another machine, code that relied on implementation-defined behavior may fail. Tracking down these sorts of problems in previously working programs is, mildly put,unpleasant.

翻译过来大概是这个意思：程序通常应该避免定义了实现的行为，例如假设int是一个固定和已知的值。这样的程序被称为非可移植的。当程序被从一台机器移植到另一台机器的时候，依靠于定义了实现的程序就会出现问题。

但是我还是不太明白什么叫implementation-defined的意思，后来网上查了查，别人是这么说的，
1.就是标准没有做严格规定，允许实现一定自由的语言特征。
比如 int 到底占用几个字节，通常 4 字节；char 到底是 signed 还是 unsigned，一般是 signed。
好的程序不应该依赖于这些假设，否则换个编译环境后，程序行为可能就不正确了。

2.简单地说: 实现定义意味着实现必须选择某种行为并提供文档。 未明确意味着实现必须选择某种行为但不必提供文档。 未定义意味着任何事情都可能发生。标准在任何情况下都不强加需求。
注意既然标准对无定义行为没有强制要求, 编译器就绝对可以做 任何事情。特别地, 对程序其它部分的正常运行没有任何保证; 参见问题 3.2, 有一个相对简单的例子。

如果你对书写可移植代码有兴趣, 你可以忽略它们的区别, 因为通常你都 希望避免依赖三种行为中的任何一种。

某些构造随编译器和硬件的实现而变化, 这一直是 C 语言的一个特点。 这种有意的不严格规定可以让编译器生成效率更高的代码, 而不必让所有 程序为了不合理的情况承担额外的负担。因此, 标准只是把现存的实践 整理成文。
编程语言标准可以看作是语言使用者和编译器实现者之间的协议。协议的 一部分是编译器实现者同意提供, 用户可以使用的功能。而其它部分则包 括用户同意遵守, 编译器实现者认为会被最受的规则。只要双方都恪守 自己的保证, 程序就可以正确运行。如果任何一方违背它的诺言, 则结果 肯定失败。