]> git.sesse.net Git - stockfish/blob - src/position.h
Super fast hidden_checkers()
[stockfish] / src / position.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 Marco Costalba
5
6   Stockfish is free software: you can redistribute it and/or modify
7   it under the terms of the GNU General Public License as published by
8   the Free Software Foundation, either version 3 of the License, or
9   (at your option) any later version.
10
11   Stockfish is distributed in the hope that it will be useful,
12   but WITHOUT ANY WARRANTY; without even the implied warranty of
13   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14   GNU General Public License for more details.
15
16   You should have received a copy of the GNU General Public License
17   along with this program.  If not, see <http://www.gnu.org/licenses/>.
18 */
19
20
21 #if !defined(POSITION_H_INCLUDED)
22 #define POSITION_H_INCLUDED
23
24 // Disable a silly and noisy warning from MSVC compiler
25 #if defined(_MSC_VER)
26
27 // Forcing value to bool 'true' or 'false' (performance warning)
28 #pragma warning(disable: 4800)
29
30 #endif
31
32 ////
33 //// Includes
34 ////
35
36 #include "bitboard.h"
37 #include "color.h"
38 #include "direction.h"
39 #include "move.h"
40 #include "piece.h"
41 #include "phase.h"
42 #include "square.h"
43 #include "value.h"
44
45
46 ////
47 //// Constants
48 ////
49
50 /// FEN string for the initial position:
51 const std::string StartPosition =
52   "rnbqkbnr/pppppppp/8/8/8/8/PPPPPPPP/RNBQKBNR w KQkq - 0 1";
53
54 /// Maximum number of plies per game (220 should be enough, because the
55 /// maximum search depth is 100, and during position setup we reset the
56 /// move counter for every non-reversible move):
57 const int MaxGameLength = 220;
58
59
60 ////
61 //// Types
62 ////
63
64 /// Castle rights, encoded as bit fields:
65
66 enum CastleRights {
67   NO_CASTLES = 0,
68   WHITE_OO = 1,
69   BLACK_OO = 2,
70   WHITE_OOO = 4,
71   BLACK_OOO = 8,
72   ALL_CASTLES = 15
73 };
74
75
76 /// The StateInfo struct stores information we need to restore a Position
77 /// object to its previous state when we retract a move. Whenever a move
78 /// is made on the board (by calling Position::do_move), an StateInfo object
79 /// must be passed as a parameter.
80
81 struct StateInfo {
82   Key key, pawnKey, materialKey;
83   int castleRights, rule50;
84   Square epSquare;
85   Value mgValue, egValue;
86
87   PieceType capture;
88   Bitboard checkersBB;
89   Move lastMove;
90   StateInfo* previous;
91 };
92
93
94 /// The position data structure.  A position consists of the following data:
95 ///
96 ///    * For each piece type, a bitboard representing the squares occupied
97 ///      by pieces of that type.
98 ///    * For each color, a bitboard representing the squares occupiecd by
99 ///      pieces of that color.
100 ///    * A bitboard of all occupied squares.
101 ///    * A bitboard of all checking pieces.
102 ///    * A 64-entry array of pieces, indexed by the squares of the board.
103 ///    * The current side to move.
104 ///    * Information about the castling rights for both sides.
105 ///    * The initial files of the kings and both pairs of rooks.  This is
106 ///      used to implement the Chess960 castling rules.
107 ///    * The en passant square (which is SQ_NONE if no en passant capture is
108 ///      possible).
109 ///    * The squares of the kings for both sides.
110 ///    * The last move played.
111 ///    * Hash keys for the position itself, the current pawn structure, and
112 ///      the current material situation.
113 ///    * Hash keys for all previous positions in the game (for detecting
114 ///      repetition draws.
115 ///    * A counter for detecting 50 move rule draws.
116
117 class Position {
118
119   friend class MaterialInfo;
120   friend class EndgameFunctions;
121
122 public:
123   // Constructors
124   Position() {};
125   Position(const Position& pos);
126   Position(const std::string& fen);
127
128   // Text input/output
129   void from_fen(const std::string& fen);
130   const std::string to_fen() const;
131   void print(Move m = MOVE_NONE) const;
132
133   // Copying
134   void copy(const Position &pos);
135   void flipped_copy(const Position &pos);
136
137   // The piece on a given square
138   Piece piece_on(Square s) const;
139   PieceType type_of_piece_on(Square s) const;
140   Color color_of_piece_on(Square s) const;
141   bool square_is_empty(Square s) const;
142   bool square_is_occupied(Square s) const;
143   Value midgame_value_of_piece_on(Square s) const;
144   Value endgame_value_of_piece_on(Square s) const;
145
146   // Side to move
147   Color side_to_move() const;
148
149   // Bitboard representation of the position
150   Bitboard empty_squares() const;
151   Bitboard occupied_squares() const;
152   Bitboard pieces_of_color(Color c) const;
153   Bitboard pieces_of_type(PieceType pt) const;
154   Bitboard pieces_of_color_and_type(Color c, PieceType pt) const;
155   Bitboard pawns() const;
156   Bitboard knights() const;
157   Bitboard bishops() const;
158   Bitboard rooks() const;
159   Bitboard queens() const;
160   Bitboard kings() const;
161   Bitboard rooks_and_queens() const;
162   Bitboard bishops_and_queens() const;
163   Bitboard sliders() const;
164   Bitboard pawns(Color c) const;
165   Bitboard knights(Color c) const;
166   Bitboard bishops(Color c) const;
167   Bitboard rooks(Color c) const;
168   Bitboard queens(Color c) const;
169   Bitboard kings(Color c) const;
170   Bitboard rooks_and_queens(Color c) const;
171   Bitboard bishops_and_queens(Color c) const;
172   Bitboard sliders_of_color(Color c) const;
173
174   // Number of pieces of each color and type
175   int piece_count(Color c, PieceType pt) const;
176
177   // The en passant square
178   Square ep_square() const;
179
180   // Current king position for each color
181   Square king_square(Color c) const;
182
183   // Castling rights
184   bool can_castle_kingside(Color c) const;
185   bool can_castle_queenside(Color c) const;
186   bool can_castle(Color c) const;
187   Square initial_kr_square(Color c) const;
188   Square initial_qr_square(Color c) const;
189
190   // Attack bitboards
191   Bitboard sliding_attacks(Square s, Direction d) const;
192   Bitboard ray_attacks(Square s, SignedDirection d) const;
193   Bitboard pawn_attacks(Color c, Square s) const;
194
195   template<PieceType>
196   Bitboard piece_attacks(Square s) const;
197
198   // Bitboards for pinned pieces and discovered check candidates
199   Bitboard discovered_check_candidates(Color c) const;
200   Bitboard pinned_pieces(Color c, Bitboard& p) const;
201   Bitboard pinned_pieces(Color c) const;
202
203   // Checking pieces
204   Bitboard checkers() const;
205
206   // Piece lists
207   Square piece_list(Color c, PieceType pt, int index) const;
208
209   // Attack information for a given square
210   bool square_is_attacked(Square s, Color c) const;
211   Bitboard attacks_to(Square s) const;
212   Bitboard attacks_to(Square s, Color c) const;
213   bool is_check() const;
214   bool pawn_attacks_square(Color c, Square f, Square t) const;
215
216   template<PieceType>
217   Bitboard piece_attacks_square(Square f, Square t) const; // Dispatch at compile-time
218
219   bool piece_attacks_square(Piece p, Square f, Square t) const; // Dispatch at run-time
220
221   // Properties of moves
222   bool pl_move_is_legal(Move m) const;
223   bool pl_move_is_legal(Move m, Bitboard pinned) const;
224   bool move_is_check(Move m) const;
225   bool move_is_check(Move m, Bitboard dcCandidates) const;
226   bool move_is_capture(Move m) const;
227   bool move_is_deep_pawn_push(Move m) const;
228   bool move_is_pawn_push_to_7th(Move m) const;
229   bool move_is_passed_pawn_push(Move m) const;
230   bool move_was_passed_pawn_push(Move m) const;
231   bool move_attacks_square(Move m, Square s) const;
232
233   // Information about pawns
234   bool pawn_is_passed(Color c, Square s) const;
235   bool pawn_is_isolated(Color c, Square s) const;
236   bool pawn_is_doubled(Color c, Square s) const;
237
238   // Open and half-open files
239   bool file_is_open(File f) const;
240   bool file_is_half_open(Color c, File f) const;
241
242   // Weak squares
243   bool square_is_weak(Square s, Color c) const;
244
245   // Doing and undoing moves
246   void setStartState(const StateInfo& st);
247   void do_move(Move m, StateInfo& st);
248   void do_move(Move m, StateInfo& st, Bitboard dcCandidates);
249   void undo_move(Move m);
250   void do_null_move(StateInfo& st);
251   void undo_null_move();
252
253   // Static exchange evaluation
254   int see(Square from, Square to) const;
255   int see(Move m) const;
256   int see(Square to) const;
257
258   // Accessing hash keys
259   Key get_key() const;
260   Key get_pawn_key() const;
261   Key get_material_key() const;
262
263   // Incremental evaluation
264   Value mg_value() const;
265   Value eg_value() const;
266   Value non_pawn_material(Color c) const;
267   Phase game_phase() const;
268   Value mg_pst_delta(Move m) const;
269
270   // Game termination checks
271   bool is_mate() const;
272   bool is_draw() const;
273
274   // Check if one side threatens a mate in one
275   bool has_mate_threat(Color c);
276
277   // Number of plies since the last non-reversible move
278   int rule_50_counter() const;
279
280   // Other properties of the position
281   bool opposite_colored_bishops() const;
282   bool has_pawn_on_7th(Color c) const;
283
284   // Reset the gamePly variable to 0
285   void reset_game_ply();
286
287   // Position consistency check, for debugging
288   bool is_ok(int* failedStep = NULL) const;
289
290   // Static member functions:
291   static void init_zobrist();
292   static void init_piece_square_tables();
293
294 private:
295
296   // Initialization helper functions (used while setting up a position)
297   void clear();
298   void put_piece(Piece p, Square s);
299   void allow_oo(Color c);
300   void allow_ooo(Color c);
301
302   // Helper functions for doing and undoing moves
303   void do_capture_move(Move m, PieceType capture, Color them, Square to);
304   void do_castle_move(Move m);
305   void do_promotion_move(Move m);
306   void do_ep_move(Move m);
307   void undo_castle_move(Move m);
308   void undo_promotion_move(Move m);
309   void undo_ep_move(Move m);
310   void find_checkers();
311
312   template<PieceType Piece>
313   void update_checkers(Bitboard* pCheckersBB, Square ksq, Square from, Square to, Bitboard dcCandidates);
314
315   template<bool FindPinned>
316   Bitboard hidden_checkers(Color c) const;
317
318   // Computing hash keys from scratch (for initialization and debugging)
319   Key compute_key() const;
320   Key compute_pawn_key() const;
321   Key compute_material_key() const;
322
323   // Computing incremental evaluation scores and material counts
324   enum GamePhase {
325       MidGame,
326       EndGame
327   };
328   template<GamePhase> Value pst(Color c, PieceType pt, Square s) const;
329   template<GamePhase> Value compute_value() const;
330   Value compute_non_pawn_material(Color c) const;
331
332   // Bitboards
333   Bitboard byColorBB[2], byTypeBB[8];
334
335   // Board
336   Piece board[64];
337
338   // Piece counts
339   int pieceCount[2][8]; // [color][pieceType]
340
341   // Piece lists
342   Square pieceList[2][8][16]; // [color][pieceType][index]
343   int index[64];
344
345   // Other info
346   Square kingSquare[2];
347   Color sideToMove;
348   int gamePly;
349   Key history[MaxGameLength];
350   Value npMaterial[2];
351   File initialKFile, initialKRFile, initialQRFile;
352   StateInfo startState;
353   StateInfo* st;
354
355   // Static variables
356   static int castleRightsMask[64];
357   static Key zobrist[2][8][64];
358   static Key zobEp[64];
359   static Key zobCastle[16];
360   static Key zobMaterial[2][8][16];
361   static Key zobSideToMove;
362   static Value MgPieceSquareTable[16][64];
363   static Value EgPieceSquareTable[16][64];
364 };
365
366
367 ////
368 //// Inline functions
369 ////
370
371 inline Piece Position::piece_on(Square s) const {
372   return board[s];
373 }
374
375 inline Color Position::color_of_piece_on(Square s) const {
376   return color_of_piece(piece_on(s));
377 }
378
379 inline PieceType Position::type_of_piece_on(Square s) const {
380   return type_of_piece(piece_on(s));
381 }
382
383 inline bool Position::square_is_empty(Square s) const {
384   return piece_on(s) == EMPTY;
385 }
386
387 inline bool Position::square_is_occupied(Square s) const {
388   return !square_is_empty(s);
389 }
390
391 inline Value Position::midgame_value_of_piece_on(Square s) const {
392   return piece_value_midgame(piece_on(s));
393 }
394
395 inline Value Position::endgame_value_of_piece_on(Square s) const {
396   return piece_value_endgame(piece_on(s));
397 }
398
399 inline Color Position::side_to_move() const {
400   return sideToMove;
401 }
402
403 inline Bitboard Position::occupied_squares() const {
404   return byTypeBB[0];
405 }
406
407 inline Bitboard Position::empty_squares() const {
408   return ~(occupied_squares());
409 }
410
411 inline Bitboard Position::pieces_of_color(Color c) const {
412   return byColorBB[c];
413 }
414
415 inline Bitboard Position::pieces_of_type(PieceType pt) const {
416   return byTypeBB[pt];
417 }
418
419 inline Bitboard Position::pieces_of_color_and_type(Color c, PieceType pt) const {
420   return pieces_of_color(c) & pieces_of_type(pt);
421 }
422
423 inline Bitboard Position::pawns() const {
424   return pieces_of_type(PAWN);
425 }
426
427 inline Bitboard Position::knights() const {
428   return pieces_of_type(KNIGHT);
429 }
430
431 inline Bitboard Position::bishops() const {
432   return pieces_of_type(BISHOP);
433 }
434
435 inline Bitboard Position::rooks() const {
436   return pieces_of_type(ROOK);
437 }
438
439 inline Bitboard Position::queens() const {
440   return pieces_of_type(QUEEN);
441 }
442
443 inline Bitboard Position::kings() const {
444   return pieces_of_type(KING);
445 }
446
447 inline Bitboard Position::rooks_and_queens() const {
448   return rooks() | queens();
449 }
450
451 inline Bitboard Position::bishops_and_queens() const {
452   return bishops() | queens();
453 }
454
455 inline Bitboard Position::sliders() const {
456   return bishops() | queens() | rooks();
457 }
458
459 inline Bitboard Position::pawns(Color c) const {
460   return pieces_of_color_and_type(c, PAWN);
461 }
462
463 inline Bitboard Position::knights(Color c) const {
464   return pieces_of_color_and_type(c, KNIGHT);
465 }
466
467 inline Bitboard Position::bishops(Color c) const {
468   return pieces_of_color_and_type(c, BISHOP);
469 }
470
471 inline Bitboard Position::rooks(Color c) const {
472   return pieces_of_color_and_type(c, ROOK);
473 }
474
475 inline Bitboard Position::queens(Color c) const {
476   return pieces_of_color_and_type(c, QUEEN);
477 }
478
479 inline Bitboard Position::kings(Color c) const {
480   return pieces_of_color_and_type(c, KING);
481 }
482
483 inline Bitboard Position::rooks_and_queens(Color c) const {
484   return rooks_and_queens() & pieces_of_color(c);
485 }
486
487 inline Bitboard Position::bishops_and_queens(Color c) const {
488   return bishops_and_queens() & pieces_of_color(c);
489 }
490
491 inline Bitboard Position::sliders_of_color(Color c) const {
492   return sliders() & pieces_of_color(c);
493 }
494
495 inline int Position::piece_count(Color c, PieceType pt) const {
496   return pieceCount[c][pt];
497 }
498
499 inline Square Position::piece_list(Color c, PieceType pt, int index) const {
500   return pieceList[c][pt][index];
501 }
502
503 inline Square Position::ep_square() const {
504   return st->epSquare;
505 }
506
507 inline Square Position::king_square(Color c) const {
508   return kingSquare[c];
509 }
510
511 inline bool Position::can_castle_kingside(Color side) const {
512   return st->castleRights & (1+int(side));
513 }
514
515 inline bool Position::can_castle_queenside(Color side) const {
516   return st->castleRights & (4+4*int(side));
517 }
518
519 inline bool Position::can_castle(Color side) const {
520   return can_castle_kingside(side) || can_castle_queenside(side);
521 }
522
523 inline Square Position::initial_kr_square(Color c) const {
524   return relative_square(c, make_square(initialKRFile, RANK_1));
525 }
526
527 inline Square Position::initial_qr_square(Color c) const {
528   return relative_square(c, make_square(initialQRFile, RANK_1));
529 }
530
531 inline Bitboard Position::pawn_attacks(Color c, Square s) const {
532   return StepAttackBB[piece_of_color_and_type(c, PAWN)][s];
533 }
534
535 template<>
536 inline Bitboard Position::piece_attacks<PAWN>(Square s) const {
537   return StepAttackBB[piece_of_color_and_type(opposite_color(sideToMove), PAWN)][s];
538 }
539
540 template<>
541 inline Bitboard Position::piece_attacks<KNIGHT>(Square s) const {
542   return StepAttackBB[KNIGHT][s];
543 }
544
545 template<>
546 inline Bitboard Position::piece_attacks<BISHOP>(Square s) const {
547   return bishop_attacks_bb(s, occupied_squares());
548 }
549
550 template<>
551 inline Bitboard Position::piece_attacks<ROOK>(Square s) const {
552   return rook_attacks_bb(s, occupied_squares());
553 }
554
555 template<>
556 inline Bitboard Position::piece_attacks<QUEEN>(Square s) const {
557   return piece_attacks<ROOK>(s) | piece_attacks<BISHOP>(s);
558 }
559
560 template<>
561 inline Bitboard Position::piece_attacks<KING>(Square s) const {
562   return StepAttackBB[KING][s];
563 }
564
565 inline Bitboard Position::checkers() const {
566   return st->checkersBB;
567 }
568
569 inline Bitboard Position::pinned_pieces(Color c) const {
570   return hidden_checkers<true>(c);
571 }
572
573 inline Bitboard Position::discovered_check_candidates(Color c) const {
574   return hidden_checkers<false>(c);
575 }
576
577 inline bool Position::is_check() const {
578   return st->checkersBB != EmptyBoardBB;
579 }
580
581 inline bool Position::pawn_attacks_square(Color c, Square f, Square t) const {
582   return bit_is_set(pawn_attacks(c, f), t);
583 }
584
585 template<PieceType Piece>
586 Bitboard Position::piece_attacks_square(Square f, Square t) const {
587   return bit_is_set(piece_attacks<Piece>(f), t);
588 }
589
590 inline Bitboard Position::attacks_to(Square s, Color c) const {
591
592   return attacks_to(s) & pieces_of_color(c);
593 }
594
595 inline bool Position::square_is_attacked(Square s, Color c) const {
596
597   return attacks_to(s, c) != EmptyBoardBB;
598 }
599
600 inline bool Position::pawn_is_passed(Color c, Square s) const {
601   return !(pawns(opposite_color(c)) & passed_pawn_mask(c, s));
602 }
603
604 inline bool Position::pawn_is_isolated(Color c, Square s) const {
605   return !(pawns(c) & neighboring_files_bb(s));
606 }
607
608 inline bool Position::pawn_is_doubled(Color c, Square s) const {
609   return pawns(c) & squares_behind(c, s);
610 }
611
612 inline bool Position::file_is_open(File f) const {
613   return !(pawns() & file_bb(f));
614 }
615
616 inline bool Position::file_is_half_open(Color c, File f) const {
617   return !(pawns(c) & file_bb(f));
618 }
619
620 inline bool Position::square_is_weak(Square s, Color c) const {
621   return !(pawns(c) & outpost_mask(opposite_color(c), s));
622 }
623
624 inline Key Position::get_key() const {
625   return st->key;
626 }
627
628 inline Key Position::get_pawn_key() const {
629   return st->pawnKey;
630 }
631
632 inline Key Position::get_material_key() const {
633   return st->materialKey;
634 }
635
636 template<Position::GamePhase Phase>
637 inline Value Position::pst(Color c, PieceType pt, Square s) const {
638   return (Phase == MidGame ? MgPieceSquareTable[piece_of_color_and_type(c, pt)][s]
639                            : EgPieceSquareTable[piece_of_color_and_type(c, pt)][s]);
640 }
641
642 inline Value Position::mg_pst_delta(Move m) const {
643   return MgPieceSquareTable[piece_on(move_from(m))][move_to(m)]
644         -MgPieceSquareTable[piece_on(move_from(m))][move_from(m)];
645 }
646
647 inline Value Position::mg_value() const {
648   return st->mgValue;
649 }
650
651 inline Value Position::eg_value() const {
652   return st->egValue;
653 }
654
655 inline Value Position::non_pawn_material(Color c) const {
656   return npMaterial[c];
657 }
658
659 inline Phase Position::game_phase() const {
660
661   // The purpose of the Value(325) terms below is to make sure the difference
662   // between MidgameLimit and EndgameLimit is a power of 2, which should make
663   // the division at the end of the function a bit faster.
664   static const Value MidgameLimit =  2 * QueenValueMidgame
665                                    + 2 * RookValueMidgame
666                                    + 6 * BishopValueMidgame
667                                    + Value(325);
668
669   static const Value EndgameLimit = 4 * RookValueMidgame - Value(325);
670
671   Value npm = non_pawn_material(WHITE) + non_pawn_material(BLACK);
672
673   if (npm >= MidgameLimit)
674       return PHASE_MIDGAME;
675   else if(npm <= EndgameLimit)
676       return PHASE_ENDGAME;
677   else
678       return Phase(((npm - EndgameLimit) * 128) / (MidgameLimit - EndgameLimit));
679 }
680
681 inline bool Position::move_is_deep_pawn_push(Move m) const {
682
683   Color c = side_to_move();
684   return   piece_on(move_from(m)) == piece_of_color_and_type(c, PAWN)
685         && relative_rank(c, move_to(m)) > RANK_4;
686 }
687
688 inline bool Position::move_is_pawn_push_to_7th(Move m) const {
689
690   Color c = side_to_move();
691   return   piece_on(move_from(m)) == piece_of_color_and_type(c, PAWN)
692         && relative_rank(c, move_to(m)) == RANK_7;
693 }
694
695 inline bool Position::move_is_passed_pawn_push(Move m) const {
696
697   Color c = side_to_move();
698   return   piece_on(move_from(m)) == piece_of_color_and_type(c, PAWN)
699         && pawn_is_passed(c, move_to(m));
700 }
701
702 inline bool Position::move_was_passed_pawn_push(Move m) const {
703
704   Color c = opposite_color(side_to_move());
705   return   piece_on(move_to(m)) == piece_of_color_and_type(c, PAWN)
706         && pawn_is_passed(c, move_to(m));
707 }
708
709 inline int Position::rule_50_counter() const {
710
711   return st->rule50;
712 }
713
714 inline bool Position::opposite_colored_bishops() const {
715
716   return   piece_count(WHITE, BISHOP) == 1
717         && piece_count(BLACK, BISHOP) == 1
718         && square_color(piece_list(WHITE, BISHOP, 0)) != square_color(piece_list(BLACK, BISHOP, 0));
719 }
720
721 inline bool Position::has_pawn_on_7th(Color c) const {
722
723   return pawns(c) & relative_rank_bb(c, RANK_7);
724 }
725
726
727 #endif // !defined(POSITION_H_INCLUDED)