**Em construtor não há problema** algum porque efetivamente não há polimorfismo nele. Você só pode chamar o construtor da classe específica que deseja, não tem porque ter polimorfismo nesse caso.

Só precisa verificar se não está ferindo o [princípio de substituição Liskov][1]. Um tipo derivado não pode modificar as restrições que não existiam no tipo original, a substituição precisa ser perfeita. Mas aí é uma análise que depende de forte contexto e envolve todo o tipo.

O mesmo vale para qualquer método que não deseja o polimorfismo. O problema vai ocorrer nos métodos polimórficos.

# Métodos polimórficos

Vamos dizer que tenha um método `m` em `Bar` com três parâmetros, e em `Foo` esse método tem apenas um parâmetro.

Pensa que você cria uma função que deve receber um `Bar`. Obviamente pode enviar um `Foo` para ela já que todo `Foo` é um `Bar`. Nessa função você chama `m` passando 3 argumentos. Mas o `m` que será chamado é o do `Foo` que só tem 1 parâmetro. 2 parâmetros serão descartados e não produzirá o que espera.

    function m(Bar $x) {
        $x->m('Error Processing Request', 10, 1000000000);
    }
    class Bar {
        public function m($message, $code, $timer) {
            echo "Bar\n";
            var_dump($message, $code, $timer);
        }
    }
    class Foo extends Bar {
        public function m($message) {
           echo "Foo\n";
           parent::m($message, 0, time());
        }
    }
    m(new Foo);

Veja [funcionando no **ideone**][2]. E [no **repl.it**][3]. Também [coloquei no **GitHub** para referência futura][4]. Note que este código tem *warnings* dependendo da versão.

Então este caso é semanticamente errado.

Você pode pensar que se for o oposto pode funcionar.

    function m(Bar $x) {
        $x->m('Error Processing Request');
    }
    class Bar {
        public function m($message) {
            echo "Bar\n";
            var_dump($message);
        }
    }
    class Foo extends Bar {
        public function m($message, $code, $timer) {
            var_dump($code, $timer);
            echo "Foo\n";
            parent::m($message);
        }
    }
    m(new Foo);

Veja [não funcionando no **ideone**][5]. E [no **repl.it**][6]. Também [coloquei no **GitHub** para referência futura][7].

Era o que deseja? Acho que não. É semanticamente errado.

Pode existir alguma situação que é correto? Acho que pode, mas provavelmente nem era para ter polimorfismo ali. O polimorfismo pressupõe que há uma substituição perfeita.


  [1]: https://pt.stackoverflow.com/q/53468/101
  [2]: https://ideone.com/VQq9gD
  [3]: https://repl.it/join/xwvqhthe-maniero
  [4]: https://github.com/maniero/SOpt/blob/master/PHP/OOP/Polymorphism.php
  [5]: https://ideone.com/BVzzcY
  [6]: https://repl.it/join/qviqfexu-maniero
  [7]: https://github.com/maniero/SOpt/blob/master/PHP/OOP/Polymorphism2.php