Takviye mi yoksa Standart Kitaplık dökümün kayıpsız olup olmadığını kontrol etmenin bir yolunu sunuyor mu?

Question

Bir Standart kütüphane arayan veya kayıpsız başka ilkel tip bir numara döküm ve bir şekilde dökme kayıpsız olup olmadığını bana bilgi (ya da değilse bir istisna) olabilir işlevini Boost duyuyorum.

auto x = lossless_cast<double>(1u); // ok, double can represent 1 
auto x = lossless_cast<int>(1.2); // fail, int can't represent 1.2 
auto x = lossless_cast<int>(1E200); // fail, int can't represent 1E200 

boost::numeric_cast hedef türü sayısal aralık dışında düşmek atmalarını bulacaktır ki yakın geliyor, ama onlar kayıpsız ama içinde hedef türü ise (gözlerimi göremiyorum: İşte bazı örnekler 2. örnek).

bir SO question for the C language which provides some hand-rolled solutions to this problem yok, ama temelde aşağıdaki işlevselliği ile, bir boost veya Standart Kütüphane çözümden sonra duyuyorum:

template <typename out, typename in> 
out lossless_cast(in in_value) 
{ 
    out out_value = static_cast<out>(in_value); 

    if (static_cast<in>(out_value) != in_value) 
    throw; // some exception 

    return out_value; 
} 

bu işlevsellik var mı?

Answer 1

ben çok Standardında önceden haddelenmiş bir şey olmadığından emin ve artırımı şeyin farkında değilim ama büyük bir kütüphane var. Herhangi uygulama kullanarak döküm 4.9 [conv.fpint] başına dışarı aralık değerleri için tanımsız davranış dikkatli olmak zorunda, ama boost::numeric_cast<> görünüşte o kolları olarak şunu kullanabilirsiniz:

template <typename U, typename T> 
inline U is_lossless(T t) 
{ 
    U u = boost::numeric_cast<U>(t); 
    T t2 = boost::numeric_cast<T>(u); // throw if now out-of-range 
    if (t != t2) 
     throw whatever-you-like; 
    return u; 
} 

ihtiyaç için numeric_cast<>t2 kurtarma az açıktır: o başarılı ama bir int64_t için aralık dışında olandan y ayrılmaz bir değerle yaklaşık olarak int64_t xdouble y için diyelim ki bir değer döküm için mümkün olduğu u, aralıkta hala olmasını sağlar, öyle double'dan geri döndürme tanımsız bir davranışa sahiptir.

yasallığı/yukarıda sağlamlığı boost::numeric_cast<> doğru doğrulamadım tanımsız davranış, kaçınır gerektirir.