আমার কাছে একটি সাংখ্যিক পদ্ধতি রয়েছে যা কোনও ত্রুটি থাকলে নান বা ইনফ ফিরে আসতে পারে, এবং পরীক্ষা করার জন্য আমি পরিস্থিতিটি সঠিকভাবে পরিচালিত হচ্ছে কিনা তা নিশ্চিত করতে আমি সাময়িকভাবে এটিকে ন্যান বা ইনফ ফিরে আসতে বাধ্য করতে চাই। সি-তে ন্যান এবং ইনফের মান তৈরি করার জন্য কি কোনও নির্ভরযোগ্য, সংকলক-স্বাধীন উপায় আছে?
প্রায় 10 মিনিট ধরে গুগল করার পরে আমি কেবল সংকলক নির্ভর সমাধান পেতে সক্ষম হয়েছি।
উত্তর:
আপনার প্রয়োগে এটি রয়েছে কিনা আপনি পরীক্ষা করতে পারেন:
#include <math.h>
#ifdef NAN
/* NAN is supported */
#endif
#ifdef INFINITY
/* INFINITY is supported */
#endif
INFINITYসি 99 এর অস্তিত্বের গ্যারান্টি রয়েছে (বা সর্বশেষতম খসড়াটি অন্তত) এবং "ধরণী ধাপের ধ্রুবক বা স্বাক্ষরিত অসীম প্রতিনিধিত্ব করে যদি এটি পাওয়া যায় তবে ধ্রুবক ধরণের অভিব্যক্তিতে প্রসারিত হয়; অন্যথায় অনুবাদের সময় প্রবাহিত ধরণের ধনাত্মক ধ্রুবকে"
NAN সংজ্ঞায়িত হতে পারে বা নাও হতে পারে এবং "সংজ্ঞায়িত হয় কেবলমাত্র এবং যদি বাস্তবায়নটি ফ্লোট ধরণের জন্য শান্ত NaNs সমর্থন করে It
মনে রাখবেন যে আপনি যদি ভাসমান পয়েন্টের মানগুলি তুলনা করছেন, এবং করুন:
a = NAN;
অথচ,
a == NAN;
মিথ্যা। NaN এর জন্য চেক করার একটি উপায় হ'ল:
#include <math.h>
if (isnan(a)) { ... }
আপনি এটিও করতে পারেন: a != aযদি পরীক্ষাগুলি না aহয় তবে ।
রয়েছে isfinite(), isinf(), isnormal(), এবং signbit()এ ম্যাক্রো math.hC99 হবে।
C99 এরও nanকার্য রয়েছে:
#include <math.h>
double nan(const char *tagp);
float nanf(const char *tagp);
long double nanl(const char *tagp);
(তথ্যসূত্র: n1256)।
a != aউচিত নয় ।
aসংখ্যা a == NANনয়- আইইইই এটির প্রয়োজন। এমনকি বাস্তবায়ন যা আইইইই মেনে চলে, বেশিরভাগ ক্ষেত্রেই তা করে । যখন isnan()বাস্তবায়ন করা হয় না, সরাসরি কোডের চেয়ে পরীক্ষাটি মোড়ানো ভাল a == NAN।
এটি করার কোনও সংকলক স্বতন্ত্র উপায় নেই, কারণ সি (বা সি ++) মানের কোনওটিই বলে না যে ভাসমান পয়েন্ট গণিতের ধরণগুলি অবশ্যই এনএএন বা আইএনএফ সমর্থন করে।
সম্পাদনা করুন: আমি সবেমাত্র সি ++ স্ট্যান্ডার্ডের শব্দটি পরীক্ষা করে দেখেছি এবং এটিতে বলা হয়েছে যে এই ফাংশনগুলি (টেম্প্লেটেড ক্লাসের সংখ্যাসূচক_মিলিট সদস্য):
quiet_NaN()
signalling_NaN()
উইল এনএএন উপস্থাপনাগুলি "যদি পাওয়া যায়" ফিরিয়ে দেয়। "যদি পাওয়া যায়" এর অর্থ কী তা প্রসারিত হয় না, তবে সম্ভবত "বাস্তবায়নের এফপি প্রতিনিধি তাদের সমর্থন করলে" এর মতো কিছু হবে। একইভাবে, একটি ফাংশন রয়েছে:
infinity()
যা "যদি পাওয়া যায়" একটি ইতিবাচক INF প্রতিনিধি প্রদান করে।
এগুলি উভয়ই <limits>শিরোনামে সংজ্ঞায়িত করা হয়েছে - আমি অনুমান করব যে সি স্ট্যান্ডার্ডের কিছু মিল রয়েছে (সম্ভবত "যদি পাওয়া যায়") তবে আমার কাছে বর্তমান সি 99 স্ট্যান্ডার্ডের একটি অনুলিপি নেই।
<math.h>সংজ্ঞায়িত nan(), nanf()এবং nanl()NaN যে রিটার্ন বিভিন্ন উপস্থাপনা (ক যেমন double, floatএবং intযথাক্রমে), এবং অনন্ত (যদি এখনে) সঙ্গে এক উৎপাদিত দ্বারা ফিরে যেতে পারে log(0)বা কিছু। এমনকি তাদের জন্য চেক করার কোনও স্ট্যান্ডার্ড উপায় নেই, এমনকি C99 তেও। <float.h>হেডার ( <limits.h>অবিচ্ছেদ্য ধরনের জন্য) সম্পর্কে দুর্ভাগ্যবশত নীরব infএবং nanমান।
nanl()একটি long double, intআমার মন্তব্য মত একটি না ফেরত । আমি টাইপ করার সময় কেন বুঝতে পারিনি তা আমি জানি না।
এটি উভয়ের জন্য কাজ করে floatএবং double:
double NAN = 0.0/0.0;
double POS_INF = 1.0 /0.0;
double NEG_INF = -1.0/0.0;
সম্পাদনা: কেউ ইতিমধ্যে বলেছে, পুরানো আইইইই স্ট্যান্ডার্ড বলেছে যে এই জাতীয় মানগুলি ফাঁদ বাড়াতে পারে। তবে নতুন সংকলক প্রায় সর্বদা ট্র্যাপগুলি স্যুইচ অফ করে এবং প্রদত্ত মানগুলি ফেরত দেয় কারণ ট্র্যাপিং ত্রুটি পরিচালনার ক্ষেত্রে হস্তক্ষেপ করে।
#define is_nan(x) ((x) != (x))ন্যানের জন্য একটি সহজ, পোর্টেবল পরীক্ষা হিসাবে কার্যকর হতে পারে।
একটি সংকলক স্বাধীন উপায়, তবে প্রসেসরের স্বতন্ত্র উপায় নয় এগুলি পাওয়ার জন্য:
int inf = 0x7F800000;
return *(float*)&inf;
int nan = 0x7F800001;
return *(float*)&nan;
এটি এমন কোনও প্রসেসরের উপর কাজ করা উচিত যা আইইইই 754 ফ্লোটিং পয়েন্ট ফর্ম্যাট (যা x86 করে) ব্যবহার করে।
আপডেট: পরীক্ষিত এবং আপডেট হয়েছে।
(float &)? এটি আমার কাছে সি-এর মতো দেখাচ্ছে না। আপনার প্রয়োজনint i = 0x7F800000; return *(float *)&i;
0x7f800001একটি তথাকথিত সংকেত NaN। যদিও অধিকাংশ লাইব্রেরি ও হার্ডওয়্যার সংকেত Nans সমর্থন করি না, এটি সম্ভবত ভাল মত একটি শান্ত NaN আসতে হয় 0x7fc00000।
double a_nan = strtod("NaN", NULL);
double a_inf = strtod("Inf", NULL);
strtodএনএএন এবং ইনফের রূপান্তর করে does
<inf.h>
/* IEEE positive infinity. */
#if __GNUC_PREREQ(3,3)
# define INFINITY (__builtin_inff())
#else
# define INFINITY HUGE_VALF
#endif
এবং
<bits/nan.h>
#ifndef _MATH_H
# error "Never use <bits/nan.h> directly; include <math.h> instead."
#endif
/* IEEE Not A Number. */
#if __GNUC_PREREQ(3,3)
# define NAN (__builtin_nanf (""))
#elif defined __GNUC__
# define NAN \
(__extension__ \
((union { unsigned __l __attribute__ ((__mode__ (__SI__))); float __d; }) \
{ __l: 0x7fc00000UL }).__d)
#else
# include <endian.h>
# if __BYTE_ORDER == __BIG_ENDIAN
# define __nan_bytes { 0x7f, 0xc0, 0, 0 }
# endif
# if __BYTE_ORDER == __LITTLE_ENDIAN
# define __nan_bytes { 0, 0, 0xc0, 0x7f }
# endif
static union { unsigned char __c[4]; float __d; } __nan_union
__attribute_used__ = { __nan_bytes };
# define NAN (__nan_union.__d)
#endif /* GCC. */
আমিও অবাক হয়েছি এগুলি সময় সংকীর্ণ নয়। তবে আমি মনে করি আপনি কেবলমাত্র একটি নির্দেশ কার্যকর করে এই মানগুলি সহজেই যথেষ্ট পরিমাণে তৈরি করতে পারেন যা এই জাতীয় অবৈধ ফলাফল দেয়। 0 দ্বারা বিভাজক, 0 লগ, 90 এর ট্যান, যে ধরনের জিনিস।
আমি সাধারণত ব্যবহার করি
#define INFINITY (1e999)
বা
const double INFINITY = 1e999
যা কমপক্ষে আইইইই 754 প্রসঙ্গে কাজ করে কারণ সর্বোচ্চ উপস্থাপনযোগ্য ডাবল মান মোটামুটি 1e308।1e309ঠিক যেমন কাজ করবে তেমনি 1e99999তিনটি নাইনও যথেষ্ট এবং স্মরণীয়। যেহেতু এটি হয় দ্বৈত আক্ষরিক ( #defineক্ষেত্রে) বা প্রকৃত Infমান, আপনি 128-বিট ("দীর্ঘ ডাবল") ভাসা ব্যবহার করলেও এটি অসীম থাকবে।
1e999আক্ষরিক আর গোল হয় না +Infinity। মার্ফির আইন অনুসারে, এটি একটি অ্যালগরিদমকে ভেঙে দেয়। সবচেয়ে খারাপ: "128-বিট" বিল্ড করা একজন মানব প্রোগ্রামার সম্ভবত ত্রুটিটি আগে থেকেই দেখতে পাবে না। অর্থাৎ সম্ভবত এই ত্রুটিটি খুঁজে পাওয়া ও স্বীকৃতি পেলে খুব দেরী হয়ে যাবে। খুব বিপজ্জনক
এই ধ্রুবকগুলি সংজ্ঞায়িত করার জন্য এখানে একটি সহজ উপায় এবং আমি নিশ্চিত যে এটি বহনযোগ্য:
const double inf = 1.0/0.0;
const double nan = 0.0/0.0;
যখন আমি এই কোডটি চালাই:
printf("inf = %f\n", inf);
printf("-inf = %f\n", -inf);
printf("nan = %f\n", nan);
printf("-nan = %f\n", -nan);
আমি পাই:
inf = inf
-inf = -inf
nan = -nan
-nan = nan