Cómo expresar que una función, al devolver un valor, ya no hace referencia a sus parámetros pasados por referencia o por puntero?

En C++, es común que las funciones tengan parámetros de paso por referencia o paso por puntero, siendo estos últimos también utilizados en C. (Por conveniencia, solo hablaré de punteros en las siguientes discusiones. Pero el problema existe para ambos casos). El problema es, ¿la función almacenará los punteros en algún lugar con una extensión más larga que la llamada a la función y los utilizará después de que la función haya terminado? Si es así, el llamador de la función debe mantener los valores apuntados por los punteros hasta que los punteros caduquen.

En C++, shared_ptr puede ser una solución, pero con sobrecargas notables de memoria en el heap y seguridad en el hilo. unique_ptr no es aplicable ya que el llamador desea conservar la propiedad.

Lo que estoy buscando es alguna construcción del lenguaje como const que pueda ser aplicada en tiempo de compilación, sin incurrir en sobrecargas durante la ejecución. Digamos que su nombre es short_lived. Un short_lived T* ptr es un puntero ptr a un valor de tipo T. Una función que recibe ptr como parámetro no debería almacenar el valor de ptr en ningún lugar con una extensión más larga que la llamada actual a la función (por ejemplo, una variable global), tanto en la función actual como en cualquier sub-función llamada desde dentro de la función actual. La restricción de “sub-funciones” posterior significa que ptr no debería pasarse a sub-funciones como un puntero no short_lived. Dado que la extensión de las variables es más una propiedad de tiempo de ejecución, para una implementación simple, el compilador puede prohibir todas las asignaciones desde punteros short_lived en la función receptora.

¿Se ha implementado el comportamiento concebido anteriormente en los estándares contemporáneos de C/C++? Si no es así, ¿cuáles son las razones?

¡Gracias!