haskell - 检查(从零开始的索引)列表中的所有偶数索引元素是否偶数

Question

我想写一个 fstEven 函数来检查列表中的偶数索引整数是否都是偶数；因为在 Haskell 列表中有从零开始的索引，一个偶数索引对应一个奇数位置，因此正确输出的一个例子是

> fstEven [2,0,2,0]
True
> fstEven [1,2,3,4]
False

我的尝试是这样的:

fstEven :: [Int] -> Bool
fstEven [] = False
fstEven (x:_:xs)
  | x `mod` 2 == 0 = True
  | otherwise = fstEven xs

但只要列表中的最后一个偶数位置是偶数，它似乎总是给出 true，而不管其他位置。

Answer 1

这里的问题是它会从其他项目中的 one 为偶数时返回 True。所以它基本上意味着“任何其他元素是偶数”。

你应该反过来检查它:一个空列表意味着所有其他元素确实是偶数，而从其他元素之一是奇数的那一刻起，我们返回 True，所以:

everyOtherEven :: [Int] -> Bool
everyOtherEven [] = True
everyOtherEven [x] = even x
everyOtherEven (x:_:xs)
    | <b>even x = everyOtherEven xs</b>
    | otherwise = False

或者我们可以合作:

everyOtherEven :: [Int] -> Bool
everyOtherEven [] = True
everyOtherEven [x] = even x
everyOtherEven (x:_:xs) = <b>even x && everyOtherEven xs</b>

例如:

Prelude> everyOtherEven [2,0,2,0]
True
Prelude> everyOtherEven [1,2,3,4]
False
Prelude> everyOtherEven [2,3,4]
True
Prelude> everyOtherEven [2,3,4,5]
True
Prelude> everyOtherEven [2,3,4,5,5]
False