|
| 1 | +// RUN: %target-run-simple-swift(-cxx-interoperability-mode=default -Xfrontend -disable-availability-checking -I %S/Inputs) |
| 2 | +// REQUIRES: executable_test |
| 3 | + |
| 4 | +import StdlibUnittest |
| 5 | +import TypedUntypedEnums |
| 6 | + |
| 7 | +// A helper for hashing Hasable values. |
| 8 | +func getHash<H>(_ x: H) -> Int where H: Hashable { |
| 9 | + var h = Hasher() |
| 10 | + h.combine(x) |
| 11 | + return h.finalize() |
| 12 | +} |
| 13 | + |
| 14 | +let Colors = [kRed, kBlue, kGreen, kYellow] |
| 15 | +let Numbers = [kOne, kTwo, kThree, kFour] |
| 16 | +let Pets = [Pet.goat, Pet.cat, Pet.dogcow, Pet.rabbit] |
| 17 | + |
| 18 | +var HashableEnumsTestSuite = TestSuite("Enums are hashable") |
| 19 | + |
| 20 | +HashableEnumsTestSuite.test("Hashes preserve equality") { |
| 21 | + for m in 0..<Colors.count { |
| 22 | + for n in 0..<Colors.count { |
| 23 | + if m == n { |
| 24 | + expectEqual(getHash(Colors[m]), getHash(Colors[n])) |
| 25 | + } else { |
| 26 | + expectNotEqual(getHash(Colors[m]), getHash(Colors[n])) |
| 27 | + } |
| 28 | + } |
| 29 | + } |
| 30 | + |
| 31 | + for m in 0..<Numbers.count { |
| 32 | + for n in 0..<Numbers.count { |
| 33 | + if m == n { |
| 34 | + expectEqual(getHash(Numbers[m]), getHash(Numbers[n])) |
| 35 | + } else { |
| 36 | + expectNotEqual(getHash(Numbers[m]), getHash(Numbers[n])) |
| 37 | + } |
| 38 | + } |
| 39 | + } |
| 40 | + |
| 41 | + for m in 0..<Pets.count { |
| 42 | + for n in 0..<Pets.count { |
| 43 | + if m == n { |
| 44 | + expectEqual(getHash(Pets[m]), getHash(Pets[n])) |
| 45 | + } else { |
| 46 | + expectNotEqual(getHash(Pets[m]), getHash(Pets[n])) |
| 47 | + } |
| 48 | + } |
| 49 | + } |
| 50 | +} |
| 51 | + |
| 52 | +HashableEnumsTestSuite.test("Untyped enums hash using underlying value") { |
| 53 | + for m in 1...4 { |
| 54 | + for n in 1...Numbers.count { |
| 55 | + let number = Numbers[n - 1] |
| 56 | + if m == n { |
| 57 | + expectEqual(getHash(m), getHash(number)) |
| 58 | + } else { |
| 59 | + expectNotEqual(getHash(m), getHash(number)) |
| 60 | + } |
| 61 | + } |
| 62 | + } |
| 63 | +} |
| 64 | + |
| 65 | +HashableEnumsTestSuite.test("Typed enums and class enums hash using other info") { |
| 66 | + // The raw values of these enum members are known: |
| 67 | + expectEqual(kRed.rawValue, 0) |
| 68 | + expectEqual(kYellow.rawValue, 10) |
| 69 | + expectEqual(Pet.goat.rawValue, 5) |
| 70 | + expectEqual(Pet.cat.rawValue, 15) |
| 71 | + |
| 72 | + // But the Hashable implementation uses more than the raw value to compute the hash: |
| 73 | + expectNotEqual(getHash(kRed), getHash(0)) |
| 74 | + expectNotEqual(getHash(kYellow), getHash(10)) |
| 75 | + expectNotEqual(getHash(Pet.goat), getHash(5)) |
| 76 | + expectNotEqual(getHash(Pet.cat), getHash(15)) |
| 77 | +} |
| 78 | + |
| 79 | +HashableEnumsTestSuite.test("Sets work as expected") { |
| 80 | + let s: Set = [kRed, kBlue, kRed, kRed] |
| 81 | + assert(s.contains(kRed)) |
| 82 | + assert(s.contains(kBlue)) |
| 83 | + assert(!s.contains(kGreen)) |
| 84 | + assert(s.count == 2) // kRed should have been deduplicated |
| 85 | +} |
| 86 | + |
| 87 | +runAllTests() |
0 commit comments