convert std::iterator to int index

#include <vector> ;
#include <algorithm> ;

std::vector<double> a;
a.push_back(3.); a.push_back(5.); a.push_back(9.);
std::vector::iterator it = std::find(a.begin(),a.end(),9.);
int index = it - a.begin();