这就是诀窍：

template <class T>
std::size_t GetIndexFromRef(std::vector<T> const &vec, T const &item)
{
    T const *data = vec.data();

    if(std::less<T const *>{}(&item, data) || std::greater_equal<T const *>{}(&item, data + vec.size()))
        throw std::out_of_range{"The given object is not part of the vector."};
    
    return static_cast<std::size_t>(&item - vec.data());
};

字符串
我使用std::less和std::greater_equal，因为（[comparisons.general§2]）：
对于模板less、greater、less_­equal和greater_­equal，任何指针类型的专门化都会产生与实现定义的指针上的严格全序一致的结果（[defns.order.ptr]）。
[* 注1*：如果a < b对于类型为P的指针a和b定义良好，则(a < b) == less<P>()(a, b)，(a > b) == greater<P>()(a, b)，依此类推。
否则，与不属于向量的对象执行比较将是UB。