在C/ c++(以及该家族的许多语言)中，根据条件声明和初始化变量的常用习语使用三元条件操作符:
int index = val > 0 ? val : -val
Go没有条件运算符。实现上面同一段代码的最惯用的方法是什么?我想出了下面的解决方案，但它似乎相当啰嗦
var index int
if val > 0 {
index = val
} else {
index = -val
}
还有更好的办法吗?
当前回答
前言:不争论如果其他是走的路，我们仍然可以玩和找到乐趣的语言支持结构。
Go 1.18泛型更新:Go 1.18增加了泛型支持。现在可以创建一个像这样的泛型If()函数。注意:可以在github.com/icza/gog上找到gog.If()(披露:我是作者)。
func If[T any](cond bool, vtrue, vfalse T) T {
if cond {
return vtrue
}
return vfalse
}
你可以这样用:
min := If(i > 0, i, 0)
1.18之前的答案如下:
下面的If构造在我的github.com/icza/gox库中有很多其他方法，就是gox。如果类型。
Go允许将方法附加到任何用户定义的类型，包括bool这样的基本类型。我们可以创建一个自定义类型，将bool作为其底层类型，然后通过对条件进行简单的类型转换，就可以访问它的方法。从操作数中接收和选择的方法。
就像这样:
type If bool
func (c If) Int(a, b int) int {
if c {
return a
}
return b
}
我们如何使用它?
i := If(condition).Int(val1, val2) // Short variable declaration, i is of type int
|-----------| \
type conversion \---method call
例如，执行max()的三元函数:
i := If(a > b).Int(a, b)
一个三元做abs():
i := If(a >= 0).Int(a, -a)
这看起来很酷，它简单，优雅，高效(它也适合内联)。
与“真正的”三元运算符相比，它的一个缺点是:它总是计算所有操作数。
要实现延迟的和仅当需要时的求值，唯一的选择是使用函数(声明的函数或方法，或函数字面量)，这些函数只在需要时调用:
func (c If) Fint(fa, fb func() int) int {
if c {
return fa()
}
return fb()
}
让我们假设我们有这些函数来计算a和b:
func calca() int { return 3 }
func calcb() int { return 4 }
然后:
i := If(someCondition).Fint(calca, calcb)
例如，条件是当前年份> 2020:
i := If(time.Now().Year() > 2020).Fint(calca, calcb)
如果我们想使用函数字面量:
i := If(time.Now().Year() > 2020).Fint(
func() int { return 3 },
func() int { return 4 },
)
最后注意:如果你有不同签名的函数，你不能在这里使用它们。在这种情况下，你可以使用带有匹配签名的函数文字来使它们仍然适用。
例如，如果calca()和calcb()也有参数(除了返回值):
func calca2(x int) int { return 3 }
func calcb2(x int) int { return 4 }
你可以这样使用它们:
i := If(time.Now().Year() > 2020).Fint(
func() int { return calca2(0) },
func() int { return calcb2(0) },
)
在围棋场上试试这些例子。
其他回答
假设你有以下三元表达式(C语言):
int a = test ? 1 : 2;
在Go中惯用的方法是简单地使用if块:
var a int
if test {
a = 1
} else {
a = 2
}
但是，这可能不符合您的要求。在我的例子中，我需要一个代码生成模板的内联表达式。
我使用了一个立即求值的匿名函数:
a := func() int { if test { return 1 } else { return 2 } }()
这确保了两个分支都不会被计算。
No Go没有三元运算符。使用if/else语法是惯用的方法。
Why does Go not have the ?: operator? There is no ternary testing operation in Go. You may use the following to achieve the same result: if expr { n = trueVal } else { n = falseVal } The reason ?: is absent from Go is that the language's designers had seen the operation used too often to create impenetrably complex expressions. The if-else form, although longer, is unquestionably clearer. A language needs only one conditional control flow construct. — Frequently Asked Questions (FAQ) - The Go Programming Language
关于三元运算符的惯用方法，还有一个建议:
package main
import (
"fmt"
)
func main() {
val := -5
index := func (test bool, n, d int) int {
if test {
return n
}
return d
}(val > 0, val, -val)
fmt.Println(index)
}
去操场
正如其他人所注意到的，golang没有三元运算符或任何等价的运算符。这是一个经过深思熟虑的决定，旨在提高可读性。
这最近让我遇到了一个场景，以一种非常有效的方式构建位掩码，在习惯地编写时变得很难阅读，或者在封装为函数时非常低效，或者两者兼有，因为代码产生分支:
package lib
func maskIfTrue(mask uint64, predicate bool) uint64 {
if predicate {
return mask
}
return 0
}
生产:
text "".maskIfTrue(SB), NOSPLIT|ABIInternal, $0-24
funcdata $0, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
funcdata $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
movblzx "".predicate+16(SP), AX
testb AL, AL
jeq maskIfTrue_pc20
movq "".mask+8(SP), AX
movq AX, "".~r2+24(SP)
ret
maskIfTrue_pc20:
movq $0, "".~r2+24(SP)
ret
我从中学到的是多利用一点围棋;在函数中使用一个命名的结果(result int)为我节省了在函数中声明它的一行(你可以用capture做同样的事情)，但是编译器也识别这个习惯用法(只分配一个值IF)，并在可能的情况下将其替换为条件指令。
func zeroOrOne(predicate bool) (result int) {
if predicate {
result = 1
}
return
}
产生无分支的结果:
movblzx "".predicate+8(SP), AX
movq AX, "".result+16(SP)
ret
然后自由内联。
package lib
func zeroOrOne(predicate bool) (result int) {
if predicate {
result = 1
}
return
}
type Vendor1 struct {
Property1 int
Property2 float32
Property3 bool
}
// Vendor2 bit positions.
const (
Property1Bit = 2
Property2Bit = 3
Property3Bit = 5
)
func Convert1To2(v1 Vendor1) (result int) {
result |= zeroOrOne(v1.Property1 == 1) << Property1Bit
result |= zeroOrOne(v1.Property2 < 0.0) << Property2Bit
result |= zeroOrOne(v1.Property3) << Property3Bit
return
}
生产https://go.godbolt.org/z/eKbK17
movq "".v1+8(SP), AX
cmpq AX, $1
seteq AL
xorps X0, X0
movss "".v1+16(SP), X1
ucomiss X1, X0
sethi CL
movblzx AL, AX
shlq $2, AX
movblzx CL, CX
shlq $3, CX
orq CX, AX
movblzx "".v1+20(SP), CX
shlq $5, CX
orq AX, CX
movq CX, "".result+24(SP)
ret
我已经编译了一些项目并比较了速度。
/*
go test ternary_op_test.go -v -bench="^BenchmarkTernaryOperator" -run=none -benchmem
*/
package _test
import (
"testing"
)
func BenchmarkTernaryOperatorIfElse(b *testing.B) {
for i := 0; i < b.N; i++ {
if i%2 == 0 {
_ = i
} else {
_ = -i
}
}
}
// https://stackoverflow.com/a/45886594/9935654
func Ternary(statement bool, a, b interface{}) interface{} {
if statement {
return a
}
return b
}
func BenchmarkTernaryOperatorTernaryFunc(b *testing.B) {
for i := 0; i < b.N; i++ {
_ = Ternary(i%2 == 0, i, -i).(int)
}
}
// https://stackoverflow.com/a/34636594/9935654
func BenchmarkTernaryOperatorWithFunc(b *testing.B) {
for i := 0; i < b.N; i++ {
_ = func() int {
if i%2 == 0 {
return i
} else {
return -i
}
}
}
}
// https://stackoverflow.com/a/31483763/9935654
func BenchmarkTernaryOperatorMap(b *testing.B) {
for i := 0; i < b.N; i++ {
_ = map[bool]int{true: i, false: -i}[i%2 == 0]
}
}
输出
goos: windows
goarch: amd64
cpu: Intel(R) Core(TM) i7-8565U CPU @ 1.80GHz
BenchmarkTernaryOperatorIfElse
BenchmarkTernaryOperatorIfElse-8 1000000000 0.4460 ns/op 0 B/op 0 allocs/op
BenchmarkTernaryOperatorTernaryFunc
BenchmarkTernaryOperatorTernaryFunc-8 1000000000 0.3602 ns/op 0 B/op 0 allocs/op
BenchmarkTernaryOperatorWithFunc
BenchmarkTernaryOperatorWithFunc-8 659517496 1.642 ns/op 0 B/op 0 allocs/op
BenchmarkTernaryOperatorMap
BenchmarkTernaryOperatorMap-8 13429532 82.48 ns/op 0 B/op 0 allocs/op
PASS
ok command-line-arguments 4.365s
