2

抱歉标题模棱两可。

我正在阅读这本书http://algs4.cs.princeton.edu/home/,我认为在 Go 中实现示例作为学习练习会很好,但是这本书使用 Java 作为其语言来描述代码.

前几章中的一章讨论了设置一些核心数据类型/容器样式类以供以后重用,但我在尝试将它们融入 Go 设置时遇到了麻烦,主要是因为这些数据类型似乎很喜欢使用 Java 泛型。

例如,我编写了以下代码

package bag

type T interface{}
type Bag []T

func (a *Bag) Add(t T) {
    *a = append(*a, t)
}

func (a *Bag) IsEmpty() bool {
    return len(*a) == 0
}

func (a *Bag) Size() int {
    return len(*a)
}

这在原则上有效,因为我可以将项目添加到 aBag并检查它的大小和所有内容。然而这也意味着下面的代码是合法的

a := make(bag.Bag,0,0)
a.Add(1)
a.Add("Hello world!")
a.Add(5.6)
a.Add(time.Now())

我只是想知道是否有任何方法可以强制执行该类型,使其符合类似于

Bag<T> bagOfMyType = new Bag<T>()

例如

Bag<Integer> bagOfInts = new Bag<Integer>()

我知道 Go 没有泛型,它们也不是真正的 Go Way,但我只是想知道是否有可能在编译时“强制”任何东西(可能不是)

对不起,很长的帖子

编辑:好的,所以我一直在进一步研究这个问题,我几乎已经放弃了泛型方面的事情(我知道这不在 Go 的路线图上)所以我正在考虑做类似的事情具有接口的 Haskell 类型类,例如

type T interface{}
type Bag interface {
    Add(t T)
    IsEmpty() bool
    Size() int
}

type IntSlice []int

func (i *IntSlice) Add(t T) {
    *i = append(*i, t.(int)) // will throw runtime exception if user attempts to add anything other than int
}

func (i *IntSlice) IsEmpty() bool {
    return len(*i) == 0
}

func (i *IntSlice) Size() int {
    return len(*i)
}

问题在于类型强制仅在运行时强制执行。

有人知道如何改进吗?

4

2 回答 2

5

我自己是 Go 新手,所以我很好奇是否有人会有更好的答案,但这是我的看法:

您希望编译时强制执行,当Add()在 an 上调用时IntSlice,它的参数是 an int。好吧,这是你如何做到的:

func (i *IntSlice) Add(t int) {
    *i = append(*i, t)
}

由于没有泛型,因此Add()每种类型的方法都会有所不同Bag,因此Bag接口(假设您需要它)变为:

type Bag interface {
    IsEmpty() bool
    Size() int
}

这对我来说是有道理的,因为你不能Bag绕过并把任何东西扔进去。知道某物是 aBag并不足以知道如何调用Add()它;你必须知道Bag你正在处理的是什么类型的。

您可以使接口特定于类型,例如IntBag,但由于实际上只有一种类型会满足该接口,因此您最好摆脱接口并将名称更改为IntSliceto IntBag

基本上,这意味着完全放弃任何类似泛型的东西,而只是使用一些方法来创建一个类型,这些方法可以满足您的需求:

type IntBag []int

func (b *IntBag) Add(i int) {
    *b = append(*b, i)
}

func (b IntBag) IsEmpty() bool {
    return len(b) == 0
}

func (b IntBag) Size() int {
    return len(b)
}

更新:有时泛型真的会派上用场。在我看来,我们只能根据具体情况选择最适合给定问题的方法。使用空接口和反射,您可以获得一些类似泛型的行为,但它往往很丑陋,并且您放弃了一些编译时类型检查。或者你放弃泛型并有一些代码重复。或者你只是用完全不同的方式来做。

几周前我问了一个问题,关于我应该如何使用 Go 来处理在我看来需要类层次结构的问题。答案基本上是没有通用的解决方案;这都是个案。我认为这同样适用于泛型:Go 中没有泛型,也没有将基于泛型的解决方案转换为 Go 的通用解决方案。

在很多情况下,您可能会在另一种语言中使用泛型,但接口在 Go 中完全足够(或真正闪耀)。您在这里的示例是接口并不是真正合适的替代品。另请参阅:Go Vs。泛型

于 2012-08-10T20:52:48.577 回答
1

我非常精通围棋。泛型是一个备受争议的话题,目前还没有与 Java 泛型或 C++ 模板类似的东西。目前的约定是使用空接口实现“通用”类型,然后用特定类型实现包装它,以确保仅使用该类型的元素。container/list这是来自 Go 标准库的示例。

http://play.golang.org/p/9w9H1EPHKR

package main

import (
    "container/list"
    "fmt"
)

type IntList struct {
    innerList *list.List
}

func NewIntList() *IntList {
    return &IntList{list.New()}
}

func (l *IntList) Add(i int) {
    // this is the only way to add an element to the list,
    // and the Add() method only takes ints, so only ints
    // can be added
    l.innerList.PushBack(i)
}

func (l *IntList) Last() int {
    lastElem := l.innerList.Back()

    // We can safely type-assert to an int, because Add()
    // guarantees that we can't put a non-int into our list
    return lastElem.Value.(int)
}

func main() {
    l := NewIntList()
    l.Add(5)
    l.Add(4)
    l.Add(3)
    l.Add(2)
    l.Add(1)
    fmt.Println("Expecting 1; got:", l.Last())
}
于 2014-10-23T20:21:51.057 回答