git.sesse.net Git - stockfish/blob - src/endgame.h

   1 /*
   2   Stockfish, a UCI chess playing engine derived from Glaurung 2.1
   3   Copyright (C) 2004-2008 Tord Romstad (Glaurung author)
   4   Copyright (C) 2008-2015 Marco Costalba, Joona Kiiski, Tord Romstad
   5   Copyright (C) 2015-2020 Marco Costalba, Joona Kiiski, Gary Linscott, Tord Romstad
   6
   7   Stockfish is free software: you can redistribute it and/or modify
   8   it under the terms of the GNU General Public License as published by
   9   the Free Software Foundation, either version 3 of the License, or
  10   (at your option) any later version.
  11
  12   Stockfish is distributed in the hope that it will be useful,
  13   but WITHOUT ANY WARRANTY; without even the implied warranty of
  14   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15   GNU General Public License for more details.
  16
  17   You should have received a copy of the GNU General Public License
  18   along with this program.  If not, see <http://www.gnu.org/licenses/>.
  19 */
  20
  21 #ifndef ENDGAME_H_INCLUDED
  22 #define ENDGAME_H_INCLUDED
  23
  24 #include <memory>
  25 #include <string>
  26 #include <type_traits>
  27 #include <unordered_map>
  28 #include <utility>
  29
  30 #include "position.h"
  31 #include "types.h"
  32
  33
  34 /// EndgameCode lists all supported endgame functions by corresponding codes
  35
  36 enum EndgameCode {
  37
  38   EVALUATION_FUNCTIONS,
  39   KNNK,  // KNN vs K
  40   KNNKP, // KNN vs KP
  41   KXK,   // Generic "mate lone king" eval
  42   KBNK,  // KBN vs K
  43   KPK,   // KP vs K
  44   KRKP,  // KR vs KP
  45   KRKB,  // KR vs KB
  46   KRKN,  // KR vs KN
  47   KQKP,  // KQ vs KP
  48   KQKR,  // KQ vs KR
  49
  50   SCALING_FUNCTIONS,
  51   KBPsK,   // KB and pawns vs K
  52   KQKRPs,  // KQ vs KR and pawns
  53   KRPKR,   // KRP vs KR
  54   KRPKB,   // KRP vs KB
  55   KRPPKRP, // KRPP vs KRP
  56   KPsK,    // K and pawns vs K
  57   KBPKB,   // KBP vs KB
  58   KBPPKB,  // KBPP vs KB
  59   KBPKN,   // KBP vs KN
  60   KNPK,    // KNP vs K
  61   KPKP     // KP vs KP
  62 };
  63
  64
  65 /// Endgame functions can be of two types depending on whether they return a
  66 /// Value or a ScaleFactor.
  67
  68 template<EndgameCode E> using
  69 eg_type = typename std::conditional<(E < SCALING_FUNCTIONS), Value, ScaleFactor>::type;
  70
  71
  72 /// Base and derived functors for endgame evaluation and scaling functions
  73
  74 template<typename T>
  75 struct EndgameBase {
  76
  77   explicit EndgameBase(Color c) : strongSide(c), weakSide(~c) {}
  78   virtual ~EndgameBase() = default;
  79   virtual T operator()(const Position&) const = 0;
  80
  81   const Color strongSide, weakSide;
  82 };
  83
  84
  85 template<EndgameCode E, typename T = eg_type<E>>
  86 struct Endgame : public EndgameBase<T> {
  87
  88   explicit Endgame(Color c) : EndgameBase<T>(c) {}
  89   T operator()(const Position&) const override;
  90 };
  91
  92
  93 /// The Endgames namespace handles the pointers to endgame evaluation and scaling
  94 /// base objects in two std::map. We use polymorphism to invoke the actual
  95 /// endgame function by calling its virtual operator().
  96
  97 namespace Endgames {
  98
  99   template<typename T> using Ptr = std::unique_ptr<EndgameBase<T>>;
 100   template<typename T> using Map = std::unordered_map<Key, Ptr<T>>;
 101
 102   extern std::pair<Map<Value>, Map<ScaleFactor>> maps;
 103
 104   void init();
 105
 106   template<typename T>
 107   Map<T>& map() {
 108     return std::get<std::is_same<T, ScaleFactor>::value>(maps);
 109   }
 110
 111   template<EndgameCode E, typename T = eg_type<E>>
 112   void add(const std::string& code) {
 113
 114     StateInfo st;
 115     map<T>()[Position().set(code, WHITE, &st).material_key()] = Ptr<T>(new Endgame<E>(WHITE));
 116     map<T>()[Position().set(code, BLACK, &st).material_key()] = Ptr<T>(new Endgame<E>(BLACK));
 117   }
 118
 119   template<typename T>
 120   const EndgameBase<T>* probe(Key key) {
 121     auto it = map<T>().find(key);
 122     return it != map<T>().end() ? it->second.get() : nullptr;
 123   }
 124 }
 125
 126 #endif // #ifndef ENDGAME_H_INCLUDED