Title
Partial specialization with non-deduced contexts
Status
open
Section
17.6.5 [temp.class.spec]
Submitter
Mike Miller

Created on 2015-09-14.00:00:00, last changed 2015-09-14.00:00:00.

Messages

Date: 2015-09-14.00:00:00

During the discussion of issue 1315, it was observed that the example

  template <int I, int J> struct B {};
  template <int I> struct B<I, I*2> {};

is ill-formed because the deduction succeeds in both directions. This seems surprising. It was suggested that perhaps a non-deduced context should be considered more specialized than a deduced context.

History
Date User Action Args
2015-09-14 00:00:00admincreate