How to avoid repetitive long generic constraints in RustIs it possible to automatically implement a trait for...

Does bootstrapped regression allow for inference?

What is the meaning of "of trouble" in the following sentence?

Is Social Media Science Fiction?

How to answer pointed "are you quitting" questioning when I don't want them to suspect

Why doesn't a const reference extend the life of a temporary object passed via a function?

Domain expired, GoDaddy holds it and is asking more money

LWC and complex parameters

What happens when a metallic dragon and a chromatic dragon mate?

Typesetting a double Over Dot on top of a symbol

Filling an area between two curves

Why is the design of haulage companies so “special”?

How could a lack of term limits lead to a "dictatorship?"

Information to fellow intern about hiring?

Why is my log file so massive? 22gb. I am running log backups

Does the average primeness of natural numbers tend to zero?

Is there a familial term for apples and pears?

What is it called when one voice type sings a 'solo'?

Can I legally use front facing blue light in the UK?

Why airport relocation isn't done gradually?

Is there any use for defining additional entity types in a SOQL FROM clause?

A poker game description that does not feel gimmicky

Pristine Bit Checking

Need help identifying/translating a plaque in Tangier, Morocco

What is GPS' 19 year rollover and does it present a cybersecurity issue?



How to avoid repetitive long generic constraints in Rust


Is it possible to automatically implement a trait for any tuple that is made up of types that all implement the trait?Is there a constraint that restricts my generic method to numeric types?How can foreign key constraints be temporarily disabled using T-SQL?How do I use reflection to call a generic method?How to create a generic array in Java?How to get a class instance of generics type THow is `last` allowed to be called for an Args value?How to implement a trait for a parameterized traitAvoiding PhantomData in a struct to enforce type constraintsIs it possible to return part of a struct by reference?Associated References types as Value Types






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box;
}







9















I'm trying to make my own implementation of big integers (just for education). The implementation is generic by data type:



struct LongNum<T>
where T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8>
{
values: Vec<T>,
powers: Vec<u8>,
radix: u8,
}


The problem is that I need to repeat this verbose constraint for T in all impls. It's too cumbersome.



I can make my own trait combining these constraints, like this:



trait LongNumValue: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}

struct LongNum<T: LongNumValue>
{
values: Vec<T>,
powers: Vec<u8>,
radix: u8,
}


But in this case I have to add impls for this LongNumValue trait to all types which can be used in LongNum:



impl LongNumValue for u8 {}
impl LongNumValue for u16 {}
impl LongNumValue for u32 {}
...


This means that if I don't add some type to this list of impls, the user of my crate will be unable to use this type for LongNum, even if this type is passes all constraints.



Is there any way to avoid writing long repetitive costraints without adding unnecessary restrictions to user?










share|improve this question


















  • 1





    You mean something similar to this? stackoverflow.com/questions/55553281/…

    – hellow
    21 hours ago


















9















I'm trying to make my own implementation of big integers (just for education). The implementation is generic by data type:



struct LongNum<T>
where T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8>
{
values: Vec<T>,
powers: Vec<u8>,
radix: u8,
}


The problem is that I need to repeat this verbose constraint for T in all impls. It's too cumbersome.



I can make my own trait combining these constraints, like this:



trait LongNumValue: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}

struct LongNum<T: LongNumValue>
{
values: Vec<T>,
powers: Vec<u8>,
radix: u8,
}


But in this case I have to add impls for this LongNumValue trait to all types which can be used in LongNum:



impl LongNumValue for u8 {}
impl LongNumValue for u16 {}
impl LongNumValue for u32 {}
...


This means that if I don't add some type to this list of impls, the user of my crate will be unable to use this type for LongNum, even if this type is passes all constraints.



Is there any way to avoid writing long repetitive costraints without adding unnecessary restrictions to user?










share|improve this question


















  • 1





    You mean something similar to this? stackoverflow.com/questions/55553281/…

    – hellow
    21 hours ago














9












9








9








I'm trying to make my own implementation of big integers (just for education). The implementation is generic by data type:



struct LongNum<T>
where T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8>
{
values: Vec<T>,
powers: Vec<u8>,
radix: u8,
}


The problem is that I need to repeat this verbose constraint for T in all impls. It's too cumbersome.



I can make my own trait combining these constraints, like this:



trait LongNumValue: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}

struct LongNum<T: LongNumValue>
{
values: Vec<T>,
powers: Vec<u8>,
radix: u8,
}


But in this case I have to add impls for this LongNumValue trait to all types which can be used in LongNum:



impl LongNumValue for u8 {}
impl LongNumValue for u16 {}
impl LongNumValue for u32 {}
...


This means that if I don't add some type to this list of impls, the user of my crate will be unable to use this type for LongNum, even if this type is passes all constraints.



Is there any way to avoid writing long repetitive costraints without adding unnecessary restrictions to user?










share|improve this question














I'm trying to make my own implementation of big integers (just for education). The implementation is generic by data type:



struct LongNum<T>
where T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8>
{
values: Vec<T>,
powers: Vec<u8>,
radix: u8,
}


The problem is that I need to repeat this verbose constraint for T in all impls. It's too cumbersome.



I can make my own trait combining these constraints, like this:



trait LongNumValue: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}

struct LongNum<T: LongNumValue>
{
values: Vec<T>,
powers: Vec<u8>,
radix: u8,
}


But in this case I have to add impls for this LongNumValue trait to all types which can be used in LongNum:



impl LongNumValue for u8 {}
impl LongNumValue for u16 {}
impl LongNumValue for u32 {}
...


This means that if I don't add some type to this list of impls, the user of my crate will be unable to use this type for LongNum, even if this type is passes all constraints.



Is there any way to avoid writing long repetitive costraints without adding unnecessary restrictions to user?







generics rust constraints traits






share|improve this question













share|improve this question











share|improve this question




share|improve this question










asked 21 hours ago









Michael IlyinMichael Ilyin

12426




12426








  • 1





    You mean something similar to this? stackoverflow.com/questions/55553281/…

    – hellow
    21 hours ago














  • 1





    You mean something similar to this? stackoverflow.com/questions/55553281/…

    – hellow
    21 hours ago








1




1





You mean something similar to this? stackoverflow.com/questions/55553281/…

– hellow
21 hours ago





You mean something similar to this? stackoverflow.com/questions/55553281/…

– hellow
21 hours ago












1 Answer
1






active

oldest

votes


















16














You can add a blanket implementation:



impl<T> LongNumValue for T 
where
T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}





share|improve this answer
























    Your Answer






    StackExchange.ifUsing("editor", function () {
    StackExchange.using("externalEditor", function () {
    StackExchange.using("snippets", function () {
    StackExchange.snippets.init();
    });
    });
    }, "code-snippets");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "1"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f55568655%2fhow-to-avoid-repetitive-long-generic-constraints-in-rust%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    16














    You can add a blanket implementation:



    impl<T> LongNumValue for T 
    where
    T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}





    share|improve this answer




























      16














      You can add a blanket implementation:



      impl<T> LongNumValue for T 
      where
      T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}





      share|improve this answer


























        16












        16








        16







        You can add a blanket implementation:



        impl<T> LongNumValue for T 
        where
        T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}





        share|improve this answer













        You can add a blanket implementation:



        impl<T> LongNumValue for T 
        where
        T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}






        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered 21 hours ago









        starbluestarblue

        45.6k1177138




        45.6k1177138
































            draft saved

            draft discarded




















































            Thanks for contributing an answer to Stack Overflow!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f55568655%2fhow-to-avoid-repetitive-long-generic-constraints-in-rust%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            El tren de la libertad Índice Antecedentes "Porque yo decido" Desarrollo de la...

            Castillo d'Acher Características Menú de navegación

            Puerta de Hutt Referencias Enlaces externos Menú de navegación15°58′00″S 5°42′00″O /...