Usando `string::operator=()`, ocurre lo siguiente:

1. Se genera una cadena vacía en la sección de datos, para poder obtener su dirección.
2. Se genera código para pasar su dirección a `string::operator=()`
3. `string::operator=()` leerá la dirección que se le pasa, para obtener el tamaño de la cadena que se le pasó como argumento.
4. El operador hace su trabajo.
5. El operador devolverá un resultado.

Recordemos que la clase `std::string` es _dueña_ de las cadenas que maneja: cuando se le asigna un valor, _copia_ la cadena a un bufer interno, para hacerla independiente de la cadena original.
Esto conlleva cierta gestión de memória, y la _necesidad_ de conocer el tamaño de las cadenas que se les asignan.

Usando `string.clear()`, ocurre lo siguiente:

1. Se llama a la función `string.clear()`,  sin argumentos, y esta hace su trabajo.
2. No se devuelve nada.

Por supuesto, aquí entran en juego las optimizaciones de cada compilador, pero, en general, **es mejor llamar a funciones específicas que utilizar mecanismos genéricos**.

**EDITO**

Una implementación típica, incompleta y sin plantillas, solo como ejemplo didáctico, sin ser exhaustiva:

    class string {
    private:
     char *buffer;
     size_t alloc; // Tamaño del buffer.
     size_t length; // Longitud real de la cadena.
    
    public:
     string &operator=( const char *other ) {
      size_t other_size = strlen( other );
      if( other_size <= alloc ) {
       if( other_size != 0 )
        memcpy( alloc, other, other_size );
       length = other_size;
       return *this;
      }
      /*
       ... Resto de la implementación ...
      */
     }
     inline void clear( ) {
      length = 0;
      *buffer = 0; // un 0 al final, por si acaso.
     }
    
     /*
      ... Resto de métodos ...
     */
    };

Se cumple a rajatabla el *standard*:

 - El tiempo de ejecución de `operator=()` es lineal (depende de la
   longitud de la cadena *other*).
 - El tiempo de ejecución de `clear()` es siempre el mismo. En el *standard*, se especifican comportamientos *de máxima duración*, es decir, `clear()` cumple con el *standard*, puesto que lo mejora.

Aún obviando el tiempo de colocar y sacar elementos de la pila, la función `clear()` es mucho mas rápida que + `operator=()`.
Es más, aún teniendo en cuenta prácticamente cualquier optimización posible (colocar cadenas pequeñas *in-place* dentro del puntero para ahorrarnos gestión de memória, ...), la función `clear()` siempre será más rápida, porque se ahorra comprobar tamaños.

Especulando un poco, y entrando en *masturbaciones mentales*, el único caso que se me ocurre en el que ambas sean equiparables en velocidad, es que el compilador tenga optimizaciones concretas para el caso de cadenas vacías, y la implementación de string las conozca y sea capaz de utilizarlas (un tipo propio, similar a *nullptr*, para indicar un puntero a una cadena vacía). Y no será aplicable en todos los casos.

Resumiendo, y como dije antes, **es mejor llamar a funciones específicas que utilizar mecanismos genéricos**.