c++ - 功能说明

Question

如果我有这样的 fnc:

void fnc(const SomeType&){/**/}  

当我列出这个 fnc 的前提条件和后置条件时，我认为列出形式的前提条件:
SomeType must be a correct type 相当愚蠢，不是吗？我问这个是因为在我的大学他们希望我们列出这样的东西但是如果 arg 的类型不正确代码无论如何都不会编译所以我认为有这种形式的前提条件是错误的。但像往常一样，我错了。

Answer 1

不要陈述显而易见的事情。

正如您所说，如果类型不匹配，代码显然无法编译。

前置条件和后置条件将取决于函数要执行的操作。