0

如果我在一个类中实现一个接口,那绝对什么都不做,它会减慢调用它的代码吗?例子2(NoLogger)对代码速度有影响吗,用在什么地方?

示例代码:

interface ILogger{
    void Write(string text);
}

class TextLogger : ILogger {
    public void Write(string text){
        using (var sw = new StreamWriter(@"C:\log.txt"))
        {
            sw.WriteLine(text);
        }
    }
}

class NoLogger : ILogger{
    public void Write(string text){
        //Do absolutely nothing
    }
}

实现一、TextLogger

void Main(){
        ILogger tl = new TextLogger();
        for (int i = 0; i < 100; i++)
        {
            tl.Write(i.ToString());
        }
 }

实现2,NoLogger

void Main(){
        ILogger tl = new NoLogger();
        for (int i = 0; i < 100; i++)
        {
            tl.Write(i.ToString());
        }
 }

当然,示例 1(文本记录器)会减慢​​执行它的代码的速度,因为它实际上做了一些事情。

但是示例 2 呢?编译器是否足够聪明,可以弄清楚,即使实例化了一个类并调用了一个方法,也绝对没有代码可以在任何路径上做任何事情,而只是在编译时忽略它?

4

3 回答 3

2

认为我们可以将其概括为“JIT 是否会内联接口方法的虚拟调用”——我强烈怀疑答案是否定的(为此,需要证明所涉及的实现类型只能永远是一种具体的类型,这比我预期的要多)。

当然,您可以在调用时运行它 500,000,000 次,并且什么都没有 - 然后您将有一个合理的起点作为答案。

另请注意:即使Write什么都不做:仍然需要执行i.ToString(),因为这可能会产生副作用

我怀疑你应该看看这个[Conditional("...")]属性。这确实改变了一些事情。很多。例如:

public static class Logger
{
    [Conditional("TRACE")]
    public static void Write(string text)
    {
       // some stuff
    }
}

现在; 如果我们在没有定义符号的情况下TRACE编译它:

static void Main()
{
    for (int i = 0; i < 100; i++)
    {
        Logger.Write(i.ToString());
    }
 }

我们的代码被编译为:

static void Main()
{
    for (int i = 0; i < 100; i++)
    {
    }
 }

调用被删除,而且:任何参数评估(i.ToString()被删除。如果我们使用TRACE定义的符号进行编译 - 那么代码就存在了。

于 2013-11-01T12:36:41.083 回答
2

编译器是否足够聪明,可以弄清楚,即使实例化了一个类并调用了一个方法,也绝对没有代码可以在任何路径上做任何事情,而只是在编译时忽略它?

编译器不能合法地完全消除调用。至少,编译器必须评估您传递给被调用方法的所有表达式 - 具体而言,在您的示例i.ToString()中将被调用 100 次,无论实现实际做什么。编译器无法对其进行优化,否则在参数表达式有副作用的情况下,它可能会意外地改变程序的语义。

于 2013-11-01T12:40:06.040 回答
2

这里有一个有趣的博客条目,描述了 .net JIT 编译器进行动态分析以确定您是否一遍又一遍地调用相同的虚拟函数,然后对其进行去虚拟化并可能内联它。为此,在应用程序运行时对代码进行了修补。

因此它不会评估为无操作,但 JIT 编译器将消除与调用方法相关的大部分开销。

于 2013-11-01T12:51:15.737 回答