Làm thế nào tôi có thể định dạng lại tình trạng của mình để làm cho nó tốt hơn?

Tôi có một điều kiện

if(exists && !isDirectory || !exists)
{}

Làm thế nào tôi có thể sửa đổi nó, để nó có thể dễ hiểu hơn.

|| là giao hoán

if(!exists || (exists && !isDirectory))

là tương đương

Bây giờ bởi vì tồn tại luôn luôn đúng trong phần thứ hai của ||bạn, bạn có thể bỏ &&:

if(!exists || !isDirectory)

Hoặc bạn có thể tiến thêm một bước và làm:

if(!(exists && isDirectory))

Theo quy trình, tôi đề nghị xây dựng một bảng chân lý:

e = exists
d = isDirectory

e | d | (e && !d) || !e
--+---+----------------
0 | 0 | 1
0 | 1 | 1
1 | 0 | 1
1 | 1 | 0

Điều này phù hợp với NANDhoạt động , đơn giản là:

!(exists && isDirectory)

Nếu bạn không nhớ tất cả các cổng logic của mình, wikipedia có một tài liệu tham khảo thú vị với các bảng chân lý để khởi động .

@Christoffer Hammarström đưa ra một điểm quan trọng về tình trạng isDirectorybị ràng buộc với trạng thái exists. Giả sử rằng chúng tham chiếu đến cùng một tham chiếu và rằng không thể có trạng thái nơi tham chiếu không tồn tại và là một thư mục, bảng chân lý có thể được viết như sau:

e | d | (e && !d) || !e
--+---+----------------
0 | 0 | 1
0 | 1 | n/a
1 | 0 | 1
1 | 1 | 0

Cái n/anày được sử dụng để đại diện cho một trạng thái không quan trọng. Việc giảm chấp nhận được có thể dẫn đến một trong hai 1hoặc 0cho các trạng thái dẫn đến n/a.

Với suy nghĩ này, !(exists && isDirectory)vẫn là một giảm hợp lệ, dẫn đến một 1cho !e && d.

Tuy nhiên, !isDirectorysẽ là một giảm đơn giản hơn nhiều, kết quả là 0cho !e && d.

Để dễ đọc hơn, tôi muốn trích xuất các điều kiện boolean cho các phương thức:

if(fileNameUnused())
{...}

public boolean fileNameUnused() {
   return exists && !isDirectory || !exists;
}

Hoặc với một tên phương pháp tốt hơn. Nếu bạn có thể đặt tên cho phương thức này một cách chính xác, người đọc mã của bạn sẽ không hiểu được điều kiện boolean có nghĩa là gì.

Bạn chỉ có thể cố gắng đóng đinh trường hợp không đi và bảo lãnh nếu điều đó xuất hiện.

while(someCondition) {

    if(exists && isDirectory)
        continue;
        // maybe "break", depends on what you're after.

        // the rest of the code
}

hoặc thậm chí

function processFile(someFile)
{ 
    // ...
    if(exists && isDirectory)
       return false;
    // the rest of the code
    // ...
}

Bạn có thể sử dụng một bảng chân lý như được chỉ ra. Bước thứ hai có thể là bản đồ KV để giảm thiểu số lượng điều khoản.

Sử dụng định luật đại số Boolean là một cách tiếp cận khác:

A = tồn tại
B =! IsDirectory
! A =! Tồn tại

&& = *
|| = +

[Chỉnh sửa]
Một biến đổi đơn giản hơn, bởi vì các hoạt động AND và OR là phân phối lẫn nhau:

tồn tại &&! isDirectory || ! tồn tại
= A * B +! A
= (A +! A) * (B +! A)
= 1 * (B +! A)
= B +! A
[/ Chỉnh sửa]

tồn tại &&! isDirectory || ! tồn tại
= A * B +! A
= A * B +! A * 1 // Danh tính
= A * B +! A * (B + 1) // Annihilator
= A * B +! A * B +! A / / Phân phối và Danh tính
= B * (A +! A) +! A // Phân phối
= B * 1 +! A // Bổ sung 2
= B +! A // Danh tính
=! IsDirectory || ! tồn tại

Hoặc với bổ sung kép (!! x = x):

A * B +! A
= !! (A * B +! A)
=! (! (A * B) * A)
=! ((! A +! B) * A)
=! (! A * A + ! B * A)
=! (0 +! B * A)
=! (! B * A)
= B +! A
=! IsDirectory || ! tồn tại

Tôi không thích sử dụng "!" khi có nhiều hơn một điều kiện trong biểu thức. Tôi sẽ thêm các dòng mã để dễ đọc hơn.

doesNotExist = !exists;
isFile = exists && !isDirecotry;
if (isFile || doesNotExist) 
   {}

Như đã chỉ ra trước đó, tình trạng có thể được giảm xuống:

if (!(exists && isDirectory))

Tuy nhiên, tôi sẽ đặt cược rằng một thư mục ngụ ý sự tồn tại. Nếu vậy, chúng ta có thể giảm điều kiện xuống:

if (!isDirectory)