#include <type_traits>
#include <memory>

class Base {
public:
    virtual ~Base() = default;
};

class Derived : public Base {};
class Unrelated {};

// Фабрика, работающая только с наследниками Base
template<typename T>
std::enable_if_t<std::is_base_of_v<Base, T> && !std::is_same_v<Base, T>,
    std::unique_ptr<T>>
    createObject() {
    return std::make_unique<T>();
}

int main() {
    auto obj1 = createObject<Derived>();    // ✅ OK
    // auto obj2 = createObject<Unrelated>(); // ❌ Compile error
    // auto obj3 = createObject<Base>();      // ❌ Compile error
}

float compute(float x) {
    return x * 3.14;   // Внимание! 3.14 — это double!
    // x неявно расширяется до double
}
 
// С -Wdouble-promotion:
// warning: implicit conversion increases floating-point precision
 
// ✅ Исправление:
return x * 3.14f;   // f-суффикс — явный float

double a = 0.1 + 0.2;
if (a == 0.3) {  // Почти никогда не выполнится!
    // 0.1 + 0.2 = 0.30000000000000004 в IEEE 754
}
 
// -Wfloat-equal: warning: comparing floating point with ==
 
// ✅ Правильно:
constexpr double EPS = 1e-9;
if (std::abs(a - 0.3) < EPS) { /* ... */ }