¿Por qué is_lock_free es una función miembro?

Question

¿Cuál es la razón por la cual is_lock_free requiere una instancia (es una función miembro)? ¿Por qué no una metafunción del tipo o una función miembro estática constexpr?

Estoy buscando una instancia real de por qué es necesario.

Answer 1

El estándar permite que un tipo sea a veces sin cerradura.

sección 29.4

The Atomic _..._ macros LOCK_FREE-Lock en el alojamiento indican la propiedad libre de bloqueo de los correspondientes tipos atómicas, con las variantes con y sin signo agrupados. Las propiedades también se aplican a las correspondientes especializaciones (parciales) de la plantilla atómica. Un valor de 0 indica que los tipos nunca están bloqueados. Un valor de 1 indica que los tipos a veces están bloqueados. Un valor de 2 indica que los tipos están siempre libres de bloqueos.

Los estados C++ atomic paper n2427 la razón detrás:

... La propuesta ofrece funciones de consulta libre de bloqueo en tiempo de ejecución en lugar de tiempo de compilación constantes debido a las implementaciones posteriores de una plataforma pueden actualizar de bloqueo operaciones con operaciones sin bloqueos, así que es común que los sistemas abstraigan dichas instalaciones detrás de bibliotecas dinámicas , y deseamos dejar abierta esa posibilidad. Además, , recomendamos que las implementaciones sin soporte atómico de hardware usen esa técnica con . ...

Y también (como se señaló Jesse Good):

La propuesta ofrece funciones de consulta libre de bloqueo en objetos individuales en lugar de tipos enteros para permitir que las variables atómicas inevitablemente desalineados sin penalizar el rendimiento de variables atómicas alineadas