Переходя зЬй :: вектора для любого типа функции

Question

Дано:

template<typename T> class A { 
    B b; 
    std::vector<T> vec1; 
    std::vector<T> vec2; 
} 

я хотел B иметь функцию-член, заполняющую(), который принимает ссылку на те векторы и заполняющую vec2 со значениями T в зависимости от некоторой информации, содержащейся в b.
Один из способов сделать это перегружает заполнения() для каждого возможного аргумента Т:

fill(const std::vector<float>& a, std::vector<float>& b) 

и так далее, но это будет означать, много ненужного дублирования в операции одинаковы для всех возможных Т. Внутри из fill() Я мог бы использовать vector :: value_type для вычислений, но я не знаю, как объявить его таким образом, что он принимает каждый тип std :: vector. Очевидным способом было бы использовать свободную функцию с шаблонами. Есть ли более простой способ сделать это?

Answer 1

Templatize B.

template<typename T> class B { 
    void fill(const std::vector<T>& a, std::vector<T>& b) { } 
}; 

template<typename T> class A { 
    B<T> b; 
    std::vector<T> vec1; 
    std::vector<T> vec2; 
} 

Если вы не хотите templatize B, затем templatize функцию заливки:

class B { 
    template<typename T> 
    void fill(const std::vector<T>& a, std::vector<T>& b) {} 
}; 

Answer 2

Templatize fill:

class B { 
public: 
    template<typename T> 
    void fill(const std::vector<T>& a, std::vector<T>& b) 
    { /*...*/ } 
    //... 
}; 

(из описание он видит, что b должен быть const std::vector<T>&.)

Answer 3

Вы можете определить B в качестве шаблона класса, заполнить как функция шаблона (внутри нешаблонном класса B), или, мой любимый, используйте стандартный std::transform/std::copy/std::fill, которые уже шаблон функции, чтобы заполнить свой вектор.
(Все находятся внутри заголовка <algorithm>).

Answer 4

У вас есть ряд ответов, но я должен не согласиться с ними, по крайней мере, в некоторой степени. Моя немедленная реакция заключается в том, что вы не должны пропускать вектор до b::fill. Скорее, вы должны передать итератор (или, возможно, пару итераторов). Остальное в основном верно, хотя: это все равно означает, что fill должен быть функцией члена шаблона. Когда вы его назовете, вы, вероятно, захотите передать std::back_insert_iterator, обычно полученный с std::back_inserter.

Часть того, что вы сказали, кажется, внутренне противоречивым, хотя: если b::fill изменяет vec1 и vec2, они, вероятно, должны не быть переданы в качестве ссылки на константные. По общему признанию, const не имеет своего обычного значения при применении к контейнеру, но факт остается фактом: передача ссылки на const в функцию, единственное намерение, по-видимому, изменить то, что передано, кажется неправильным.