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

Created on 2015-09-14.00:00:00 last changed 103 months ago

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