¿Cómo hacer el empalme de rango en tiempo constante con std :: forward_list?

Quiero unir el rango[first, last], con ambos extremos incluidos. Tengo iteradores al elementoantes de first y paralast. Yo podria hacerlo consplice_after() Pero solo en tiempo lineal.

Creo que este empalme se puede hacer en tiempo constante. ¿Cómo puedo hacerlo constd::forward_list?

Si la pregunta no es clara, aquí hay un código de ejemplo que muestra mi problema:

Código enEspacio de trabajo en vivo

#include <algorithm>
#include <forward_list>
#include <iostream>
#include <iterator>
using namespace std;

int main() {   
    forward_list<char> trg{'a','b','c'};
    forward_list<char> src{'1','2','3','4'};

    auto before_first = src.begin();
    auto last = find(src.begin(), src.end(), '4');
    cout << "before_first = " << *before_first << ", last = " << *last << "\n";

    // trg.splice(trg.begin(), src, before_first, last); // no such splice
    auto end = last;
    ++end; // Ouch! splice has to find last again although I already had it  :(
    trg.splice_after(trg.begin(), src, before_first, end);

    cout << "Target after splice:\n";
    copy(trg.begin(), trg.end(), ostream_iterator<char>(cout," "));

    cout << "\nSource after splice:\n";
    copy(src.begin(), src.end(), ostream_iterator<char>(cout," "));

    cout << endl;
}

Salida:

before_first = 1, last = 4
Target after splice:
a 2 3 4 b c
Source after splice:
1 

Respuestas a la pregunta(1)

Su respuesta a la pregunta