结合两个否定的文件检查条件（-f 和 -s）似乎返回不正确的结果

Question

我想检查一个文件是否是一个文件并且存在以及它是否不为空，所以最终使用-f 和-s 的组合检查。如果文件不存在或为空，我想提前返回，所以我否定这两​​项检查。

为了测试我的文件名返回空字符串并且我将路径传递到目录的情况，我正在尝试这样做：

if [[ ! -f "/path/to/dir/" ]] && [[ ! -s "/path/to/dir/" ]]; 
then  echo "Does not exists"; else echo "Exists"; fi

存在

Above 返回 'Exist' 似乎不正确。

-f单独检查是正确的：

if [[ ! -f "/path/to/dir/" ]]; then  echo "Does not exists"; 
else echo "Exists"; fi

不存在

合并检查但不否定每个检查也是正确的：

if [[ -f "/path/to/dir/" ]] && [[ -s "/path/to/dir/" ]]; 
then  echo "Exists"; else echo "Does not exists"; fi

不存在

不确定在将否定条件与逻辑和 && 结合使用时，我是否做错了什么，或者 Bash 中是否有一些奇怪之处？

编辑 1： 正如建议的那样，尝试使用两个条件都在同一组括号中的符号：

if [[ ! -f "/opt/gmdemea/smartmap_V2/maps/" && ! -s "/opt/gmdemea/smartmap_V2/maps/" ]]; then  echo "Does not exists"; else echo "Exists"; fi

存在

但这不会改变行为。

编辑 2： 从手册页看来，在这种情况下-s 应该足够了，但是当传递现有目录路径时，它返回 true（Bash 版本：4.1.2(1)-release）：

if [[ -s "/opt/gmdemea/smartmap_V2/maps/" ]]; then echo "Exists"; else echo "Does not exists"; fi 

存在

它在不是文件时返回“存在”，所以应该去 else 子句返回“不存在”

Answer 1

拥有x AND y，然后对其进行唠叨你会得到：NOT (x AND y)。这等于(NOT a) OR (NOT b)。它不等于(NOT x) AND (NOT y)。

我想检查一个文件是否是一个文件并且存在，如果它不为空

如果你想检查一个文件是否是一个普通文件并且它是否不为空，那么你可以这样做：

[[ -f path ]] && [[ -s path ]]

否定是（每行相等）（注意De Morgan's law）：

! ( [[ -f path ]] && [[ -s path ]] )
[[ ! -f path || ! -s path ]]

你也可以写成（每行相等）：

! [[ -f path && -s path ]]
[[ ! ( -f path && -s path ) ]]
[[ ! -f path ]] || [[ ! -s path ]]
# or using `[` test and `-a` and `-o`:
! [ -f path -a -s path ]
[ ! -f path -o ! -s path ]
[ ! \( -f path -a -s path \) ]

就这样：

if [[ ! -f "/path/to/dir/" || ! -s "/path/to/dir/" ]]; then
     echo "The /path/to/dir is not a regular file or size is nonzero"
else
     echo "The path /path/to/dir is a regular file and it's size is zero"
fi

Answer 2

@KamilCuk 已经解释了逻辑缺陷，但总的来说 - 始终避免在代码中使用否定词，例如! 在这种情况下，因为它们使代码比使用正数更难阅读（和正确）。而不是：

if [[ ! -f "/path/to/dir/" ]] && [[ ! -s "/path/to/dir" ]]
then
    echo "Does not exists"
else
    echo "Exists"
fi

如果你应用布尔代数来分解!s，那么你会得到：

if ! ( [[ -f "/path/to/dir/" ]] || [[ -s "/path/to/dir" ]] )
then
    echo "Does not exists"
else
    echo "Exists"
fi

然后您可以翻转 if/else 以摆脱最终的!：

if [[ -f "/path/to/dir/" ]] || [[ -s "/path/to/dir" ]]
then
    echo "Exists"
else
    echo "Does not exists"
fi

您一眼就能看出不是您正在尝试的测试。相反，你想要：

if [[ -f "/path/to/dir/" ]] && [[ -s "/path/to/dir" ]]
then
    echo "Exists"
else
    echo "Does not exists"
fi