Considere o seguinte tipo:
template<typename T> struct View
{
T* data;
size_t size;
};
É válido transmitir de: View<T>&
To View<const T>&
?
Invoca comportamento indefinido?
Suspeito que o elenco funcionará conforme planejado em todos os compiladores, mas terá um comportamento tecnicamente indefinido de acordo com o padrão devido à regra estrita de alias .