language-agnostic - 多态性如何替换循环内的 if-else 语句？

Question

多态性如何替换循环内的 if-else 语句或 Switch？特别是它总是可以替换 if-else 吗？我在循环中使用的大多数 if-then 都是算术比较。这个问题就是从这个问题衍生出来的。

int x;
int y;
int z;

while (x > y)
{
     if (x < z)
     {
         x = z;
     }
}

这将如何与多态性一起工作？
注意：我是用 Java 编写的，但对任何 OOL 都对此感兴趣。

Answer 1

当每种情况对应不同的类型时，多态性通常会替换 switch 语句。因此，而不是：

public class Operator
{
    string operation;

    public int Execute(int x, int y)
    {
         switch(operation)
         {
             case "Add":
                 return x + y;
             case "Subtract":
                 return x - y;
             case "Multiply":
                 return x * y;
             case "Divide":
                 return x / y;
             default:
                 throw new InvalidOperationException("Unsupported operation");
         }
    }
}

你会有：

public abstract class Operator
{
    public abstract int Execute(int x, int y);
}

public class Add : Operator
{
    public override int Execute(int x, int y)
    {
        return x + y;
    }
}

// etc

但是，对于您提供的比较类型的决策，多态性确实没有帮助。

Answer 2

多态性在您提供的示例中并不真正适用。

看到这个答案。

Answer 3

当 if 测试基本上根据对象的“类型”分配给各种方法时，多态性只能替代 if 测试。例如，如果对象是 X 类型，则调用 foo 如果它是 Y 调用 bar 等等。在这个人为的示例中，我们将使用方法 bad() 定义一个接口 DoSonething。X 和 Y 都将实现 Baz 并让它们各自的 baz() 为 X 调用 foo() 和为 Y 调用 bar()。这简单地调用 baz() 将消除对 if 测试的需要。

Answer 4

在 Smalltalk 中，“if”实际上是 Boolean 中的多态方法。在以下示例中：

[ x>y ] whileTrue:  
  [   
    ( x<z ) ifTrue: [ x:=z ]        
  ]

该ifTrue:aBlock消息True以“执行此块”和False“忽略此块”的形式实现，因此根据(x<z)评估结果，将调用任一实现。

所以在 Smalltalk 中，多态性默认替换了每个 if-else 构造:)

Answer 5

一种模式是拥有代表测试结果的对象和代表要执行的块的对象。结果对象具有覆盖的选择函数，因此如果 Bool 有一个 choose(T positive, Tnegative) 那么 Bool.TRUE 将返回正参数，而 Bool.FALSE 将返回负数。smalltalk-family 语言的幼稚实现就是这样工作的。

要以这种形式编码你的while循环，需要在比较x和y的结果上调用choose方法来确定是否为while循环内部调用块，并且该块还使用比较和选择来设置x 的值。更直接的翻译是选择将 x 设置为 z 的块或不执行任何操作的块；相反，它只是使用选择将 x 设置回相同的值。

显然，对于这个简单的案例来说，这是矫枉过正且效率低下的。

public class WantonPolymorphism {

    static class Int32 {
        final int value;
        Int32 ( final int value ) { this.value = value; }

        Compare compare ( Int32 other ) {
            // Java runs out of turtles at this point unless you use
            // an enum for every value
            if ( this.value < other.value ) return Compare.LESS;
            if ( this.value > other.value ) return Compare.GREATER;
            return Compare.EQUAL;
        }
    }

    enum Compare {
        LESS {
            <T> T choose (T less, T equal, T greater) { return less; }
        },
        EQUAL {
            <T> T choose (T less, T equal, T greater) { return equal; }
        },
        GREATER {
            <T> T choose (T less, T equal, T greater) { return greater; }
        };

        abstract <T> T choose (T less, T equal, T greater) ;
    }

    interface Block { Block execute () ; }


    /**
     * Main entry point for application.
     * @param args The command line arguments.
     */
    public static void main (String...args) {
        Block block =  new Block() {
            Int32 x = new Int32(4);
            Int32 y = new Int32(3);
            Int32 z = new Int32(2);

            public Block execute () {
                System.out.printf("x = %d, y = %d, z = %d\n", x.value, y.value, z.value);

                return x.compare(y).choose(done, done, new Block () {
                    public Block execute () {
                        x = x.compare(z).choose(x,x,z);

                        return x.compare(y).choose(done, done, this);
                    }
                });
            }

            Block done = new Block () {
                public Block execute () {
                    System.out.printf("x = %d, y = %d, z = %d\n", x.value, y.value, z.value);
                    System.exit(0);
                    return this;
                }
            };
        };

        for(;;) 
            block = block.execute();
    }
}