[Bug c++/31951] New: local structure problem

[Bug c++/31951] New: local structure problem

[ndbecker2 at gmail dot com]

2nd call to partial_sort gives 'no match...' error, but 1st is OK.
Doesn't seem right.

#include <algorithm>
#include <vector>

template<typename vector_t>
 struct Sort_Func2  {
  vector_t const& mag;
  Sort_Func2 (vector_t const& _mag) : mag (_mag) {}
  bool operator() (int a, int b) const { return mag [a] < mag [b]; }
};

template<typename vector_t>
void F (vector_t const& v) {
  struct Sort_Func {
    vector_t const& mag;
    Sort_Func (vector_t const& _mag) : mag (_mag) {}
    bool operator() (int a, int b) const { return mag [a] < mag [b]; }
  };

  std::vector<int> indexes (v.size());
  std::partial_sort (indexes.begin(), indexes.begin()+2, indexes.end(),
Sort_Func2<vector_t> (v));
  std::partial_sort (indexes.begin(), indexes.begin()+2, indexes.end(),
Sort_Func (v));
}

int main() {
  std::vector<int> v;
  F (v);
}


-- 
           Summary: local structure problem
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ndbecker2 at gmail dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31951

[Bug c++/31951] local structure problem

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-05-16 23:16 -------
This is not a bug, local classes cannot be template arguments.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31951

[Bug c++/31951] local structure problem

[bangerth at dealii dot org]

------- Comment #2 from bangerth at dealii dot org  2007-05-17 15:48 -------
Indeed, like Andrew says.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31951

[Bug c++/31951] local structure problem

[dmitry at lsi dot upc dot edu]

------- Comment #3 from dmitry at lsi dot upc dot edu  2009-10-05 14:42 -------
(In reply to comment #1)
> This is not a bug, local classes cannot be template arguments.
> 
What does prevent them to be?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31951

[Bug c++/31951] local structure problem

[redi at gcc dot gnu dot org]

------- Comment #4 from redi at gcc dot gnu dot org  2009-10-05 14:58 -------
14.3.1 [temp.arg.type] paragraph 2 in the current C++ standard says:

    A type without linkage (3.5) shall not be used as a template argument for a
template type parameter. 

This is changing for C++0x, based on the proposal
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2657.htm


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31951