如何将函数参数静态约束为所需类型的值子集？
值集将是在包中定义的一个小集合。最好是编译时检查而不是运行时检查。
我能想到的唯一方法是这样的:
package foo
// subset of values
const A = foo_val(0)
const B = foo_val(1)
const C = foo_val(2)
// local interface used for constraint
type foo_iface interface {
get_foo() foo_val
}
// type that implements the foo_iface interface
type foo_val int
func (self foo_val) get_foo() foo_val {
return self
}
// function that requires A, B or C
func Bar(val foo_iface) {
// do something with `val` knowing it must be A, B or C
}
因此，现在包的用户无法用任何其他值代替 A、B 或 C。
package main
import "foo"
func main() {
foo.Bar(foo.A) // OK
foo.Bar(4) // compile-time error
}
但是完成这个看似简单的任务似乎需要很多代码。我有一种感觉，我把事情搞得太复杂了，错过了语言中的一些功能。
该语言是否具有某些可以用简洁的语法完成相同任务的功能？
最佳答案
Go 做不到这一点(我不认为，我不认为几个月让我有经验)
ADA 可以，C++ 有时可以，但不是很干净(constexpr 和 static_assert)。
但真正的问题/要点在这里，为什么重要？我玩 Go 和 GCC 作为编译器，GCC 真的很聪明，尤其是 LTO，持续传播是最容易应用的优化之一，它不会打扰检查(你是(我们在 C 中调用的)静态初始化 A B 和 C，GCC 对此进行优化(如果它有函数的定义，那么它有 LTO))
现在这有点跑题了，所以我将停止讨论那个混合的 blob，但是除非您的程序受 CPU 限制，否则测试值的合理性是很好的。别担心。
总是写一些更容易阅读的东西，你会感谢你后来所做的
你的运行时检查也是如此，如果编译器有足够的信息可以提供，如果它可以推断(证明)它们不会抛出，它就不会费心去做它们，因为它会很容易地发现它的常量值。
附录
很难进行编译时检查，例如 c++ 中的 constexpr 非常有限(它涉及的所有内容也必须是 constexpr 等)- 它不能很好地与普通代码一起使用。
假设一个值来自用户输入？该检查必须在运行时进行，如果您编写了两组约束(无论如何可行)，那将是愚蠢的(并且违反了 DRY)，一组用于编译，一组用于运行。
我们能做的最好的事情就是让编译器变得非常聪明，而 GCC 就是。我敢肯定其他人也很好(除了 MS，我从来没有听到过对它的赞美，但是作者很聪明，因为他们一开始就写了一个 C++ 解析器!)
关于go - 如何将函数参数静态限制为值的子集，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/20527226/