আমি sizeofঅ্যারের দুটি ভিন্ন আকারের যে কোনও একটি উপাদান পেতে বা সংখ্যাতে বা বাইটগুলিতে, যা আমি এখানে দেখিয়েছি এটি শেষ দুটি হিসাবে কখনও ব্যবহার করার জন্য ( কখনও এটি ব্যবহার করা হলেও) ব্যবহার করার পরামর্শ দেব। দুটি আকারের প্রত্যেকটির জন্য, নীচে প্রদর্শিত ম্যাক্রোগুলি এটিকে নিরাপদ করতে ব্যবহার করা যেতে পারে। কোডটি রক্ষণাবেক্ষণকারীদের কাছে কোডের উদ্দেশ্যটি স্পষ্ট করে দেখা এবং প্রথম নজরে (যেভাবে এইভাবে লেখা হয়েছিল তা sizeof(ptr)থেকে পৃথক হওয়া sizeof(arr)), যাতে কোডগুলি পড়ার জন্য বাগগুলি তখন সুস্পষ্ট হয়।
টি এল; ডিআর:
#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]) + must_be_array(arr))
#define ARRAY_SSIZE(arr) ((ptrdiff_t)ARRAY_SIZE(arr))
#define ARRAY_BYTES(arr) (sizeof((arr)[0]) * ARRAY_SIZE(arr))
must_be_array(arr)(নীচে সংজ্ঞায়িত) -Wsizeof-pointer-divবগি যেমন প্রয়োজন (এপ্রিল / 2020 হিসাবে):
#define is_same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))
#define is_array(a) (!is_same_type((a), &(a)[0]))
#define Static_assert_array(a) _Static_assert(is_array(a), "Not a `[]` !")
#define must_be_array(a) ( \
0 * (int)sizeof( \
struct { \
Static_assert_array(a); \
char ISO_C_forbids_a_struct_with_no_members__; \
} \
) \
)
এই বিষয়ে গুরুত্বপূর্ণ বাগ রয়েছে: https://lkML.org/lkML/2015/9/3/428
লিনাস যে সমাধানটি সরবরাহ করে তার সাথে আমি একমত নই, যা ফাংশনগুলির পরামিতিগুলির জন্য কখনও অ্যারে স্বরলিপি ব্যবহার না করে।
আমি ডকুমেন্টেশন হিসাবে অ্যারে স্বরলিপি পছন্দ করি যে একটি পয়েন্টার অ্যারে হিসাবে ব্যবহৃত হচ্ছে। তবে এর অর্থ হ'ল একটি বোকা-প্রমাণ সমাধান প্রয়োগ করা দরকার যাতে বাগি কোডটি লেখা অসম্ভব।
একটি অ্যারে থেকে আমাদের তিনটি মাপ রয়েছে যা আমরা জানতে চাই:
- অ্যারের উপাদানগুলির আকার
- অ্যারেতে উপাদানের সংখ্যা
- অ্যারে মেমরিতে ব্যবহার করে এমন বাইটের আকার
অ্যারের উপাদানগুলির আকার
প্রথমটি খুব সহজ, এবং আমরা কোনও অ্যারে বা পয়েন্টার নিয়ে কাজ করছি কিনা তা বিবেচ্য নয়, কারণ এটি একইভাবে সম্পন্ন হয়েছে।
ব্যবহারের উদাহরণ:
void foo(ptrdiff_t nmemb, int arr[static nmemb])
{
qsort(arr, nmemb, sizeof(arr[0]), cmp);
}
qsort() এটির তৃতীয় আর্গুমেন্ট হিসাবে এই মানটির প্রয়োজন।
অন্য দুটি আকারের জন্য, যা প্রশ্নের বিষয়, আমরা তা নিশ্চিত করতে চাই যে আমরা একটি অ্যারের সাথে কাজ করছি, এবং না থাকলে সংকলনটি ভেঙে দেব, কারণ যদি আমরা কোনও পয়েন্টারের সাথে কাজ করে থাকি তবে আমরা ভুল মানগুলি পেয়ে যাব । সংকলনটি নষ্ট হয়ে গেলে, আমরা সহজেই দেখতে পাব যে আমরা কোনও অ্যারের সাথে নয়, পরিবর্তে একটি পয়েন্টারের সাথে ব্যবহার করছি, এবং কেবল মাত্র একটি ভেরিয়েবল বা ম্যাক্রো সহ কোডটি লিখতে হবে যা আকারের আকার সংরক্ষণ করে পয়েন্টারের পিছনে অ্যারে।
অ্যারেতে উপাদানের সংখ্যা
এটি একটি সর্বাধিক সাধারণ এবং অনেক উত্তর আপনাকে সাধারণত ম্যাক্রো ARRAY_SIZE সরবরাহ করেছে:
#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))
প্রদত্ত যে ARRAY_SIZE এর ফলাফল সাধারণত স্বাক্ষরযুক্ত ভেরিয়েবলের ধরণের সাথে ব্যবহৃত হয় ptrdiff_t, এই ম্যাক্রোর স্বাক্ষরিত রূপটি সংজ্ঞায়িত করা ভাল:
#define ARRAY_SSIZE(arr) ((ptrdiff_t)ARRAY_SIZE(arr))
PTRDIFF_MAXসদস্যদের চেয়ে বেশি সহ অ্যারে ম্যাক্রোর এই স্বাক্ষরিত সংস্করণটির জন্য অবৈধ মান দিতে চলেছে, তবে C17 :: 6.5.6.9 পড়ার মাধ্যমে, এর মতো অ্যারে ইতিমধ্যে আগুনের সাথে খেলছে। শুধুমাত্র ARRAY_SIZEএবং size_tএই ক্ষেত্রে ব্যবহার করা উচিত।
সংস্থাগুলির সাম্প্রতিক সংস্করণগুলি, যেমন জিসিসি 8, আপনি যখন কোনও পয়েন্টারটিতে এই ম্যাক্রো প্রয়োগ করেন তখন আপনাকে সতর্ক করে দেবে, তাই এটি নিরাপদ (পুরানো সংকলকগুলির সাথে এটি নিরাপদ করার অন্যান্য পদ্ধতি রয়েছে)।
এটি প্রতিটি এলিমেন্টের আকারের সাহায্যে পুরো অ্যারের বাইটে আকার ভাগ করে কাজ করে।
ব্যবহারের উদাহরণ:
void foo(ptrdiff_t nmemb)
{
char buf[nmemb];
fgets(buf, ARRAY_SIZE(buf), stdin);
}
void bar(ptrdiff_t nmemb)
{
int arr[nmemb];
for (ptrdiff_t i = 0; i < ARRAY_SSIZE(arr); i++)
arr[i] = i;
}
যদি এই ফাংশনগুলি অ্যারে ব্যবহার না করে তবে পরিবর্তে সেগুলি পরামিতি হিসাবে পেয়ে থাকে তবে পূর্ববর্তী কোডটি সংকলন করবে না, তাই বাগটি পাওয়া অসম্ভব (সাম্প্রতিক সংকলক সংস্করণ ব্যবহার করা হয়েছে বা অন্য কোনও কৌশল ব্যবহৃত হয়েছে) , এবং আমাদের মান অনুসারে ম্যাক্রো কলটি প্রতিস্থাপন করতে হবে:
void foo(ptrdiff_t nmemb, char buf[nmemb])
{
fgets(buf, nmemb, stdin);
}
void bar(ptrdiff_t nmemb, int arr[nmemb])
{
for (ptrdiff_t i = 0; i < nmemb; i++)
arr[i] = i;
}
অ্যারে মেমরিতে ব্যবহার করে এমন বাইটের আকার
ARRAY_SIZE পূর্ববর্তী মামলার সমাধান হিসাবে সাধারণত ব্যবহৃত হয়, তবে এই ক্ষেত্রে খুব কমই নিরাপদে লেখা হয়, সম্ভবত এটি কম সাধারণ কারণ।
এই মানটি পাওয়ার সাধারণ উপায়টি হ'ল ব্যবহার করা sizeof(arr)। সমস্যা: আগেরটির মতোই; আপনার যদি অ্যারের পরিবর্তে পয়েন্টার থাকে তবে আপনার প্রোগ্রামটি বাদাম হয়ে যাবে।
সমস্যার সমাধানটিতে আগের মতো একই ম্যাক্রো ব্যবহার করা জড়িত, যা আমরা নিরাপদ থাকতে জানি (এটি কোনও পয়েন্টারের সাথে প্রয়োগ করা হলে এটি সংকলনটি ভেঙে দেয়):
#define ARRAY_BYTES(arr) (sizeof((arr)[0]) * ARRAY_SIZE(arr))
এটি কীভাবে কাজ করে তা খুব সহজ: এটি বিভাজনকে পূর্বাবস্থায় ফেলে ARRAY_SIZEদেয় যা কাজ করে, তাই গাণিতিক বাতিল হওয়ার পরে আপনি কেবল একটি দিয়ে শেষ করেন sizeof(arr)তবে ARRAY_SIZEনির্মাণের অতিরিক্ত সুরক্ষার সাথে with
ব্যবহারের উদাহরণ:
void foo(ptrdiff_t nmemb)
{
int arr[nmemb];
memset(arr, 0, ARRAY_BYTES(arr));
}
memset() এটির তৃতীয় আর্গুমেন্ট হিসাবে এই মানটির প্রয়োজন।
আগের মতো, যদি অ্যারেটি প্যারামিটার (পয়েন্টার) হিসাবে গ্রহণ করা হয় তবে এটি সংকলন করে না এবং আমাদের ম্যাক্রো কলটি মান দ্বারা প্রতিস্থাপন করতে হবে:
void foo(ptrdiff_t nmemb, int arr[nmemb])
{
memset(arr, 0, sizeof(arr[0]) * nmemb);
}
আজ আমি জানতে পেরেছি যে জিসিসিতে নতুন সতর্কতা কেবলমাত্র তখনই কাজ করে যদি ম্যাক্রো একটি শিরোনামে সিস্টেম শিরোনাম নয় in আপনি যদি আপনার সিস্টেমে (সাধারণত /usr/local/include/বা /usr/include/) ( #include <foo.h>) ইনস্টলড থাকা শিরোনামে ম্যাক্রো সংজ্ঞায়িত করেন তবে সংকলক কোনও সতর্কতা ছাড়বে না (আমি জিসিসি 9.3.0 চেষ্টা করেছি)।
সুতরাং আমাদের আছে #define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))এবং এটি নিরাপদ করতে চাই। আমাদের _Static_assert()সি 11 এবং কিছু জিসিসি এক্সটেনশনগুলির দরকার হবে : এক্সপ্রেশনগুলিতে বিবৃতি এবং ঘোষণা , __ বিল্টিন_টাইপস_সামগ্রী_পি :
#define is_same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))
#define is_array(a) (!is_same_type((a), &(a)[0]))
#define Static_assert_array(a) _Static_assert(is_array(a), "Not a `[]` !")
#define ARRAY_SIZE(arr) ( \
{ \
Static_assert_array(arr); \
sizeof(arr) / sizeof((arr)[0]); \
} \
)
এখন ARRAY_SIZE()সম্পূর্ণ নিরাপদ, এবং তাই এর সমস্ত ডেরাইভেটিভস নিরাপদ থাকবে।
আপডেট: libbsd সরবরাহ করে __arraycount():
Libbsd ম্যাক্রো সরবরাহ __arraycount()করে <sys/cdefs.h>, যা অনিরাপদ কারণ এটিতে এক জোড়া বন্ধনী অভাব রয়েছে, তবে আমরা নিজেরাই সেই প্রথম বন্ধনী যুক্ত করতে পারি, এবং তাই আমাদের শিরোনামে বিভাগও লেখার প্রয়োজন নেই (কেন আমরা ইতিমধ্যে বিদ্যমান কোডটির নকল করব? )। এই ম্যাক্রোটি একটি সিস্টেম শিরোনামে সংজ্ঞায়িত করা হয়, সুতরাং আমরা যদি এটি ব্যবহার করি তবে আমরা উপরের ম্যাক্রোগুলি ব্যবহার করতে বাধ্য হব।
#include <sys/cdefs.h>
#define is_same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))
#define is_array(a) (!is_same_type((a), &(a)[0]))
#define Static_assert_array(a) _Static_assert(is_array(a), "Not a `[]` !")
#define ARRAY_SIZE(arr) ( \
{ \
Static_assert_array(arr); \
__arraycount((arr)); \
} \
)
#define ARRAY_SSIZE(arr) ((ptrdiff_t)ARRAY_SIZE(arr))
#define ARRAY_BYTES(arr) (sizeof((arr)[0]) * ARRAY_SIZE(arr))
কিছু সিস্টেম প্রদান nitems()মধ্যে <sys/param.h>পরিবর্তে, এবং কিছু ব্যবস্থা উভয় প্রদান। আপনার সিস্টেমটি পরীক্ষা করা উচিত, এবং আপনার একটিটি ব্যবহার করা উচিত, এবং সম্ভবত বহনযোগ্যতা এবং উভয় সমর্থন করার জন্য কিছু প্রিপ্রসেসর শর্তাদি ব্যবহার করুন।
আপডেট: ম্যাক্রোটিকে ফাইল স্কোপে ব্যবহারের অনুমতি দিন:
দুর্ভাগ্যক্রমে, ({})জিসিসি এক্সটেনশনটি ফাইল স্কোপে ব্যবহার করা যাবে না। ফাইল স্কোপে ম্যাক্রো ব্যবহার করতে সক্ষম হতে স্ট্যাটিক দৃ as়তা অবশ্যই ভিতরে থাকা উচিত sizeof(struct {})। তারপরে, 0ফলাফলকে প্রভাবিত না করার জন্য এটি দিয়ে গুণ করুন । কোনও কাস্ট (int)একটি ফাংশন যা ফেরত দেয় তা সিমুলেট করা ভাল হতে পারে (int)0(এই ক্ষেত্রে এটি প্রয়োজন হয় না তবে এটি অন্যান্য জিনিসের জন্য পুনরায় ব্যবহারযোগ্য)।
#include <sys/cdefs.h>
#define is_same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))
#define is_array(a) (!is_same_type((a), &(a)[0]))
#define Static_assert_array(a) _Static_assert(is_array(a), "Not a `[]` !")
#define must_be_array(a) ( \
0 * (int)sizeof( \
struct { \
Static_assert_array(a); \
char ISO_C_forbids_a_struct_with_no_members__; \
} \
) \
)
#define ARRAY_SIZE(arr) (__arraycount((arr)) + must_be_array(arr))
#define ARRAY_SSIZE(arr) ((ptrdiff_t)ARRAY_SIZE(arr))
#define ARRAY_BYTES(arr) (sizeof((arr)[0]) * ARRAY_SIZE(arr))