15 Dec
2010
15 Dec
'10
11:20 p.m.
The ability to test for a conversion is liable to result in ODR problems. On the other hand, the errors are pretty horrendous right now. I am not sure how ODR applies here.
is_convertible would depend on which headers are #included. This makes ODR violations really easy.
We could, however, make is_convertible mean "potentially convertible" by just verifying that the dimensions are consistent...then there is no ODR problem, it just doesn't guarantee that the conversion is defined even though it is possible. Matthias