correction, std::vector<int>::size_type works, but should this be necessary? according to this, and this, it should not be.
f:\x86_64-4.9.0-snapshot-20131119-rev205009-posix-sjlj-rt_v4\mingw64\lib\gcc\x86_64-w64-mingw32\4.9.0\include\c++\vector http://www.cplusplus.com/reference/vector/vector/operator%5B%5D/
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
This is not a bug. You do need to write std::vector<int>::size_type. The C++ standard does not have a global size_type, as the size_type can be different for different containers.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
std::vector::size_type doesn't work either. I looked at the library source and for some reason it's broken.
correction, std::vector<int>::size_type works, but should this be necessary? according to this, and this, it should not be.
f:\x86_64-4.9.0-snapshot-20131119-rev205009-posix-sjlj-rt_v4\mingw64\lib\gcc\x86_64-w64-mingw32\4.9.0\include\c++\vector
http://www.cplusplus.com/reference/vector/vector/operator%5B%5D/
This is not a bug. You do need to write std::vector<int>::size_type. The C++ standard does not have a global size_type, as the size_type can be different for different containers.