处理if（if else）else的优雅方法

#1 楼

 if(FileExists(file))
{
    contents = OpenFile(file); // <-- prevents inclusion in if
    if(SomeTest(contents))
    {
        DoSomething(contents);
        return;
    }
}

DefaultAction();
 

 contents_t get_contents(name_t file)
{
    if(!FileExists(file))
        return null;

    contents = OpenFile(file);
    if(!SomeTest(contents)) // like IsContentsValid
        return null;

    return contents;
}

...

contents = get_contents(file)
contents ? DoSomething(contents) : DefaultAction();
 

 if(contents_t contents = get_contents(file))
    DoSomething(contents);
else
    DefaultAction();
 

#2 楼

#3 楼

 
 
但是接下来又有一个要求，就是我们也不能打开超过2Gb的大文件。
好吧，我们只是再次更新：
 
 
 if(FileExists(file))
{
    if(! OnNetworkDisk(file))
    {
        contents = OpenFile(file); // <-- prevents inclusion in if
        if(SomeTest(contents))
        {
            DoSomething(contents);
        }
        else
        {
            DefaultAction();
        }
    }
    else
    {
        DefaultAction();
    }
}
else
{
    DefaultAction();
}
 
 
 
应该很清楚，这样的代码风格将是一个巨大的维护难题。
 
这里有很多答案正确地正交编写的是Abyx的第二个示例和Jan Hudec的答案，所以我不再重复，只是指出在这两个答案中添加两个要求就是
 
 
 if(FileExists(file))
{
    if(LessThan2Gb(file))
    {
        if(! OnNetworkDisk(file))
        {
            contents = OpenFile(file); // <-- prevents inclusion in if
            if(SomeTest(contents))
            {
                DoSomething(contents);
            }
            else
            {
                DefaultAction();
            }
        }
        else
        {
            DefaultAction();
        }
    else
    {
        DefaultAction();
    }
}
else
{
    DefaultAction();
}
 
 
 
（或if(! LessThan2Gb(file))
    return null;

if(OnNetworkDisk(file))
    return null;
而不是goto notexists;），除了添加的这些行以外，不影响任何其他代码。例如。 
 
进行测试时，一般规则应该是测试异常，而不是正常情况。

评论
为我+1。提早退货有助于避免出现反箭头形态。请参阅codinghorror.com/blog/2006/01/flattening-arrow-code.html和lostechies.com/chrismissal/2009/05/27/…在阅读此模式之前，我始终订阅每个功能的1个入口/出口。理论是由于15年前左右我所受的教育。我认为这使代码更易于阅读，并且您提到了更易于维护。



 –穆斯先生

 2011年12月1日，2：10 
@MrMoose：您提到的箭头反模式回答了Benjol的明确问题：“这种逻辑有名称吗？”将其发布为答案，您就会得到我的投票。



 – outis

 2011年12月1日5:59



 
这是一个很好的答案，谢谢。 @MrMoose：“箭头反模式”可能会回答我的第一个项目符号，所以是的，请发布它。我不能保证会接受，但是它值得投票！



 – Benjol

 2011年12月1日6:03



 
@outis。谢谢。我已经添加了答案。在Hlovdal的职位上，箭头反模式当然是相关的，他的后卫条款很好地绕过了他们。我不知道您如何回答第二点。我没有资格诊断:)



 –穆斯先生

 2011年12月1日7:53 
+1表示“测试例外，不是正常情况”。



 –罗伊·廷克（Roy Tinker）

 2011年12月1日下午17:54 

#4 楼

 Whatever(Arguments)
{
    if(!FileExists(file))
        goto notexists;
    contents = OpenFile(file); // <-- prevents inclusion in if
    if(!SomeTest(contents))
        goto notexists;
    DoSomething(contents);
    return;
notexists:
    DefaultAction();
}
 

#5 楼

 function FileContentsExists(file) {
    return FileExists(file) ? OpenFile(file) : null;
}
 

 contents = FileContentExists(file);
if(contents && SomeTest(contents))
{
    DoSomething(contents);
}
else
{
    DefaultAction();
}
 

#6 楼

 boolean handled = false;

if(FileExists(file))
{
    contents = OpenFile(file); // <-- prevents inclusion in if
    if(SomeTest(contents))
    {
        DoSomething(contents);
        handled = true;
    }
}
if (!handled)
{
    DefaultAction();
}
 

 try
{
    contents = OpenFile(file); // throws IO exception if file not found
    DoSomething(contents); // calls SomeTest() and throws exception on failure
}
catch(Exception e)
{
    DefaultAction();
    // and the exception should be at least logged...
}
 

#7 楼

 if (WeCanDoSomething(file))
{
   DoSomething(contents);
}
else
{
   DefaultAction();
} 
 

 boolean WeCanDoSomething(file)
{
    if FileExists(file)
    {
        contents = OpenFile(file);
        return (SomeTest(contents));
    }
    else
    {
        return FALSE;
    }
}
 

#8 楼

#9 楼

#10 楼

#11 楼

 if(!FileExists(file))
{
    DefaultAction();
    return;
}

contents = OpenFile(file);
if(!SomeTest(contents))
{
    DefaultAction();
    return;
}

DoSomething(contents);
 

 if(!FileExists(file))
{
    DefaultAction();
    return Result.FileNotFound;
}

contents = OpenFile(file);
if(!SomeTest(contents))
{
    DefaultAction();
    return Result.TestFailed;
}

DoSomething(contents);
return Result.Success;            
 

#12 楼

 contents = OpenFile(file);
if (!contents) // open failed
    DefaultAction();
else (SomeTest(contents))
    DoSomething(contents);
 

#13 楼

 void DoABunchOfStuff()
{
    if(FileExists(file))
    {
        DoSomethingWithFileContent(file);
        return;
    }

    DefaultAction();
}

void DoSomethingWithFileContent(file)
{        
    var contents = GetFileContents(file)

    if(SomeTest(contents))
    {
        DoSomething(contents);
        return;
    }

    DefaultAction();
}

AReturnType GetFileContents(file)
{
    return OpenFile(file);
}
 

#14 楼

 OpenFileIfSomething(path:String) : FileHandle {
    file = OpenFile(path);
    if (file && SomeTest(file)) {
        return file;
    }
    return null;
}

...

if ((file = OpenFileIfSomething(path))) {
    DoSomething(file);
} else {
    DefaultAction();
}
 

#15 楼

 bool TryOpenFile(object file, out object contents)
{
    try{
        contents = OpenFile(file);
    }
    catch{
        //something bad happened, computer probably exploded
        return false;
    }
    return true;
}
 

#16 楼

 processFile(file) || defaultAction() 

#17 楼

 interface File<T> {
    function isOK():Bool;
    function getData():T;
}

var appleFile:File<Apple> = appleStorage.get(fileURI);
if (appleFile.isOK())
    eat(file.getData());
else
    cry();
 

 var appleFile = appleStorage.get(fileURI, isEdible);
//isEdible is of type Apple->Bool and will be used internally to answer to the isOK call
if (appleFile.isOK())
    eat(file.getData());
else
    cry();
 

#18 楼

 if(!FileExists(file)) {
    DefaultAction();
    return;
}
contents = OpenFile(file);
if(!SomeTest(contents))
{
    DefaultAction();
    return;
}        
DoSomething(contents);
 

#19 楼

 bool ActionDone = false;

if (Method_1(object_A)) // Test 1
{
    result_A = Method_2(object_A); // Result 1

    if (Method_3(result_A)) // Test 2
    {
        Method_4(result_A); // Action 1
        ActionDone = true;
    }
}

if (!ActionDone)
{
    Method_5(); // Default Action
}
 

#20 楼

 if( FileExists(file) && SomeTest(contents = OpenFile(file)) )
{
    DoSomething(contents);
    return;
}
DefaultAction();
 

#21 楼

 while (1) {
    if (FileExists(file)) {
        contents = OpenFile(file);
        if (SomeTest(contents)) {
           DoSomething(contents);
           break;
        } 
    }
    DefaultAction();
    break;
}
 

#22 楼

 content = NULL; //I presume OpenFile returns a pointer 
if(FileExists(file))
    contents = OpenFile(file);
if(content != NULL && SomeTest(contents))
    DoSomething(contents);
else
    DefaultAction();
 

#23 楼

 #define DOUBLE_ELSE(CODE) else { CODE } } else { CODE }
 

 if(FileExists(file))
{
    contents = OpenFile(file);
    if(SomeTest(contents))
    {
        DoSomething(contents);
    }
    DOUBLE_ELSE(DefaultAction();)
 

#24 楼

 let
  contents = ReadFile(file)
in
  if FileExists(file) && SomeTest(contents) 
    DoSomething(contents)
  else 
    DefaultAction()