std :: floor'dan sonra bir int için doğru sonucu garanti ediyor mu?

Question

Ben sözdizimi

int floor(double x); 

ama doublestd::floor döndüren bir floor fonksiyonunu istiyorum.

static_cast <int> (std::floor(x)); 

bana doğru tamsayı vermeyi garanti, ya da ben bir off-birer sorunu olabilir? Çalışıyor gibi görünüyor, ama emin olmak isterim.

bonus puan için

, neden halt ilk etapta bir double dönmek std::floor yapar?

Answer 1

Çift aralık, 32 veya 64 bit tam sayı aralığında olduğundan daha büyüktür, bu nedenle std::floor, double değerini döndürür. int için Döküm uygun aralıkta bulunuyor sürece iyi olmalı - ama double tam olarak tüm 64 bit tamsayı temsil edemez unutmayın, bu nedenle noktanın ilerisine gitmek zaman da hatalar ile sona erebilir hangi doğruluğu en double iki ardışık çift arasındaki fark, evet hemen hemen istediğini yapar büyüktür 1.

Answer 2

static_cast <int> (std::floor(x)); 

olduğu şekildedir. Size en yakın tam sayıyı -infinity'ye doğru yuvarlar. En azından girişiniz, ints tarafından temsil edilen aralıkta olduğu sürece. '.5 ve neyi ekleyerek neyi kastettiğinizden emin değilim, ancak aynı etkiye sahip olmayacağından emin değilim.

Ve std :: kat bir çift döndürüyor çünkü bu en genel olanı. Bazen bir yüzdeyi veya iki katını yuvarlamak isteyebilirsiniz, ancak türü koruyabilirsiniz. Yani yuvarlak ziyade Yani std :: zemin bir int döndü eğer yapmak zor olurdu 1.

daha, 1.0f için 1.3f vardır. (ya da en azından, orada yavaşlayan şeyleri gereksiz yere attıracaksınız).

kat yalnızca türünü değiştirmeden, kendisini yuvarlama, size gerektiğinde/eğer int yayınlayabileceğim gerçekleştirir.

diğer nedeni çiftlerde aralığı ints çok daha büyük olmasıdır. Tüm çiftlerin inçlere yuvarlanması mümkün olmayabilir.

Answer 3

Çeşitli sayısal koşullarla uğraşmak istiyorsanız ve farklı bir dönüşüm türünü kontrollü bir şekilde ele almak istiyorsanız, belki de Boost.NumericConversion'a bakmalısınız. Bu kütüphane (out-of-aralık, yuvarlama, aralıkları, vb gibi) İşte

belgelerinden örnek garip davalarını sağlar:

#include <cassert> 
#include <boost/numeric/conversion/converter.hpp> 

int main() { 

    typedef boost::numeric::converter<int,double> Double2Int ; 

    int x = Double2Int::convert(2.0); 
    assert (x == 2); 

    int y = Double2Int()(3.14); // As a function object. 
    assert (y == 3) ; // The default rounding is trunc. 

    try 
    { 
     double m = boost::numeric::bounds<double>::highest(); 
     int z = Double2Int::convert(m); // By default throws positive_overflow() 
    } 
    catch (boost::numeric::positive_overflow const&) 
    { 
    } 

    return 0; 
} 

Answer 4

standart matematik kütüphanesinin çoğu kullanır çiftler ancak Şamandıra versiyonları da sağlar. std :: floorf(), iki katı kullanmamanızı tercih ederseniz std :: floor() öğesinin tek duyarlıklı sürümüdür.

Düzenleme: Önceki yanıtımın bir kısmını kaldırdım. Int'e intikam ederken zeminin gereksiz olduğunu belirttim, ancak bunun sadece pozitif kayan noktalı sayılar için doğru olduğunu unutmuştum.

Answer 5

C++ standart söyler (4.9.1):

"kayan nokta tür bir rvalue bir tamsayı tür bir rvalue dönüştürülebilir dönüşüm keser, yani kesirli kısmı iptal edilir..Kesilen değer hedef türünde gösterilemiyorsa, davranış tanımsızdır ".

Bu nedenle, bir int'ye bir çift dönüştürüyorsanız, sayı int'nin aralığındadır ve gerekli yuvarlama sıfıra doğru olur. o zaman int basitçe numarayı döküm için yeterlidir:

(int) x;