On Sun 3/1/2026 7:55 AM, Marcel Mueller wrote:pseudo-code sorry for any typos... Not your main point, butThere's no such thing as "taking an array by value". Neither in C nor in C++.#include <iostream>>
>
struct S { static constexpr int N = -1; };
>
template <typename T> void foo(int [T::N])
{
std::cout << "array" << std::endl;
}
>
template <typename T> void foo(...)
{
std::cout << "..." << std::endl;
}
>
int main()
{
foo<int>(0);
}
>
GCC outputs "array", Clang and MSVC output "..."
You are taking an array by value.
struct foo
{
int xxx[10];
};
void
bar(struct foo bar)
{
bar.xxx[0] = 123;
}
This might not be the intention and might take a slice.???
Since the array index is unsigned -1 is UB or in fact expand to UINT_MAX.Um... My question is intended for people who have "language lawyer" level of understanding the language. You are obviously not quite there yet.
At some point in the future you you might come across the concept colloquially known as SFINAE (which is mentioned in the subject of my question). Once you learn what it is (if ever), you will understand what this question is about.
| Date | Sujet | # | Auteur | |
| 25 Feb 26 |  Array size validity and SFINAE | 9 | Andrey Tarasevich | |
| 1 Mar 26 |  Re: Array size validity and SFINAE | 5 | Marcel Mueller | |
| 1 Mar 26 |  Re: Array size validity and SFINAE | 3 | Andrey Tarasevich | |
| 2 Mar 26 |  Re: Array size validity and SFINAE | 2 | Chris M. Thomasson | |
| 2 Mar 26 |   Re: Array size validity and SFINAE | 1 | Andrey Tarasevich | |
| 2 Mar 26 | Re: Array size validity and SFINAE | 1 | Bonita Montero | |
| 2 Mar 26 | Re: Array size validity and SFINAE | 3 | Tim Rentsch | |
| 2 Mar 26 | Re: Array size validity and SFINAE | 2 | Andrey Tarasevich | |
| 3 Mar 26 | Re: Array size validity and SFINAE | 1 | Tim Rentsch |
Les messages affichés proviennent d'usenet.