การหักประเภทอัตโนมัติไม่ตรงกันระหว่างคอมไพเลอร์ c ++ ที่ต่างกัน

ดังนั้นฉันกำลังพยายามที่จะใช้ผลิตภัณฑ์ dot ( https://en.wikipedia.org/wiki/Dot_product ) ในบางรสชาติของ C ++ ที่ทันสมัยและมาพร้อมกับรหัสต่อไปนี้:

#include <iostream>

template<class... Args>
auto dot(Args... args)
{
    auto a = [args...](Args...)
    { 
        return [=](auto... brgs)
        {
            static_assert(sizeof...(args) == sizeof...(brgs));

            auto v1 = {args...}, i1 = v1.begin();
            auto v2 = {brgs...}, i2 = v2.begin();
            typename std::common_type<Args...>::type s = 0;

            while( i1 != v1.end() && i2!= v2.end())
            {
                s += *i1++ * *i2++;
            } 
            return s;
        };
    };
  return a(std::forward<Args>(args)...);
}

int main()
{
    auto a = dot(1,3,-5)(4,-2,-1);
    std::cout << a << std::endl;
}

ออนไลน์: https://gcc.godbolt.org/z/kDSneyและ: cppinsights

โค้ดข้างต้นรวบรวมและดำเนินการอย่างดีด้วยg++อย่างไรก็ตามclang(และiccและmsvc) ทำให้หายใจไม่ออกบน:

clang++ ./funcpp.cpp --std=c++17                                                                                                                                                                                                                                                        
./funcpp.cpp:12:4: error: 'auto' deduced as 'std::initializer_list<int>' in declaration of 
        'v1' and deduced as 'const int *' in declaration of 'i1'
                        auto v1 = {args...}, i1 = v1.begin();
                        ^         ~~~~~~~~~       ~~~~~~~~~~
./funcpp.cpp:28:11: note: in instantiation of function template specialization 
        'dot<int, int, int>' requested here
        auto a = dot(1,3,-5)(4,-2,-1);
                 ^
1 error generated.

ตอนนี้ถ้าผมเลิกนิยามของv1, v2, i1, i2เช่น:

auto v1 = {args...} ;
auto i1 = v1.begin();
auto v2 = {brgs...};
auto i2 = v2.begin();

clangและmsvcไม่มีปัญหาiccยังคงสำลัก:

<source>(10): error: static assertion failed

                static_assert(sizeof...(args) == sizeof...(brgs));

                ^

          detected during instantiation of "auto dot(Args...) [with Args=<int, int, int>]" at line 30

compilation aborted for <source> (code 2)

Execution build compiler returned: 2

อย่างไรก็ตามหากฉันลบการละเมิดออกไปstatic_assertก็iccไม่มีปัญหาในการรวบรวมรหัสเช่นกัน

และนอกเหนือจากคำถาม (ทั่วไป): ซึ่งถูกและทำไม :) คำถามที่เป็นรูปธรรมคือ:

ตาม[dcl.spec.auto]:

หากประเภทที่แทนที่ประเภทตัวยึดตำแหน่งไม่เหมือนกันในแต่ละการหักค่าโปรแกรมจะเกิดรูปแบบไม่ถูกต้อง

clangระบุอย่างถูกต้องว่ามีคำถามอยู่สองประเภทที่แตกต่างกันที่กำหนดไว้: 'auto' deduced as 'std::initializer_list<int>' in declaration of 'v1' and deduced as 'const int *' in declaration of 'i1'ดังนั้นฉันต้องการฟังความคิดเห็นของคุณว่า:

• ฉันมีส่วนขยาย g ++ ที่ไม่มีเอกสารพิจารณาสถานการณ์นี้โดยเฉพาะ (ไม่ได้กล่าวถึงในhttps://gcc.gnu.org/onlinedocs/gcc-9.2.0/gcc/C_002b_002b-Extensions.html#C_002b_002b-Extensions ) ตั้งแต่ g ++ ถึงความรู้ของฉัน จัดการประเภทต่าง ๆ ในรายการประกาศอัตโนมัติอย่างถูกต้อง
• หรือโอกาสใดก็ตามที่ g ++ ไม่ได้อนุมานว่าทั้งสองประเภทจะแตกต่างกัน (... hm ... )
• หรืออย่างอื่น?

ขอขอบคุณที่อ่านคำถามยาว ๆ นี้ (เป็นโบนัสหากมีใครตอบได้ว่าทำไมความiccล้มเหลวในการทำเช่นstatic_assertนั้นจึงยอดเยี่ยม)

ขยายจากความคิดเห็นของฉัน:

g ++ ไม่ทำเช่นนี้เสมอพิจารณาตัวอย่างauto i = 0l, f = 0.0;มันให้ข้อผิดพลาด:

test.cpp: In function ‘int main()’:
test.cpp:4:5: error: inconsistent deduction for ‘auto’: ‘long int’ and then ‘double’
    4 |     auto i = 0l, f = 0.0;

หากเรารวบรวมโปรแกรมของคุณและพิมพ์ประเภทของตัวแปร ( ด้วยวิธีนี้ ) เราจะได้ผลลัพธ์ต่อไปนี้:

v1: std::initializer_list<int>, i1: int const*
v2: std::initializer_list<int>, i2: int const*

ใช้ gcc เวอร์ชั่น 9.2.0 โดยมีแฟล็ก-std=c++17 -pedantic -Wall -Wextraโดยไม่มีคำเตือนหรือข้อผิดพลาดใด ๆ

โดยความคิดเห็นของคุณเกี่ยวกับมาตรฐานโปรแกรมนี้มีรูปแบบไม่ดีและมาตรฐานระบุว่าควรมีการปล่อยข้อความวินิจฉัย (คำเตือนหรือข้อผิดพลาด) เว้นแต่จะระบุไว้เป็นอย่างอื่น (ซึ่งไม่ใช่ในกรณีนี้) ดังนั้นฉันจะบอกว่านี่เป็นข้อผิดพลาดใน gcc

มันเป็นปัญหาที่รู้จักกัน

ความstatic_assertล้มเหลวของ ICC นั้นเป็นข้อผิดพลาดอย่างแน่นอน ฉันพบวิธีแก้ปัญหาง่าย ๆ โดยย้ายstatic_assertไปที่ฟังก์ชันอื่น ไม่ใช่วิธีการแก้ปัญหาที่หรูหรามาก แต่ใช้งานได้

ด้วยการแก้ไขเล็กน้อยนี่คือรหัสที่รวบรวมกับ GCC, Clang และ ICC:

template<std::size_t size, class... Args>
void args_no_guard(Args... args)
{
    static_assert(sizeof...(args) == size);
}

template<class... Args>
auto dot(Args... args)
{
    return [=](auto... brgs)
    {
        constexpr auto n = sizeof...(args);
        args_no_guard<n>(brgs...);

        using T = std::common_type_t<decltype(args)..., decltype(brgs)...>;
        const T v1[]{static_cast<T>(args)...};
        const T v2[]{static_cast<T>(brgs)...};

        T dot = 0;
        for (std::size_t i = 0; i < n; ++i)
            dot += v1[i] * v2[i];
        return dot;
    };
}