IT討論區(212) - 你好IT <==> 你好,IT

Concept好似只係強化版generic constraint?
好似做唔到我上面指既野

反省下
你可以話「咁佢係特別既中學生丫麻」 係 你咁講冇人吹得你漲 包括你自己
但係真咩 手巴唔覺得囉 中學生都做到既野點解你做唔到？ 咪又係人一個 就算你中學做唔到佢咁 而家追返都得呀？ 定係你成世到八十歲就係想做一個中學生不如既人？

一百年前講緊好多人唔識字 啲人可以話「咁識字既靚仔係特別勁丫麻」
三四十年前好多人讀唔到大學 啲人可以話「咁學位係少入到既人係特別勁架啦」
老左呢？周街都係識字 周街都係大學生
邊個問題？

Scala 3 type class?

啱啱試左 require可以用係member function
所以mixin+concept
或者mixin+enable_if

#[derive(Clone)]
struct Foo {
}

struct Bar {
}

struct Wrapper<T> {
    pub value: T,
}

impl<T> Clone for Wrapper<T> where T : Clone {
    fn clone(&self) -> Self {
        return Wrapper {
            value: self.value.clone()
        }
    }
}

fn main() {
    let foo = Wrapper { 
        value: Foo {}
    };
    let bar = Wrapper { 
        value: Bar {}
    };
    
    foo.clone();
    bar.clone(); // won't compile
}

我係指咁樣, Foo係Clone而Bar唔係, 所以 Wrapper<Foo>可以Clone但Wrapper<Bar>唔得
唔熟scala同C++, 唔知做唔做到類似既野

下面有rust sample, 唔熟c++唔知得唔得

template <typename T>
concept Clonable = requires(T a){
    a.clone();
};

class A{
public:
    A clone(){ return A(*this); }
};

class B{};

template <typename T>
class Wrapper{
public:
    T value;

    template <typename _=void> // stupid syntax hack to use concept on template member function
    Wrapper<T> clone()
    requires Clonable<T>
    { return (Wrapper){this->value.clone(); }
};

int main(){
    Wrapper<A> wa;
    wa.clone();
    Wrapper<B> wb;
    // wb.clone();
    return 0;
}

手機打 如有typo見諒
唔想夾埋mixin一齊係手機打

IT post罵戰日常

好似compile唔到

知道了

呢啲算正常討論 不算罵戰了

都得wo
雖然要靠syntax hack

如果你個member function本身真係template member function 咁就唔駛用呢個hack格硬將non-template member function變做template member function

唔識呢題會過唔到手巴interview

唔識

Wtf真係機場返工

1Q題又話唔關工作事
關工作事又話寧願1Q題

有左chatgpt 之後乜春背書題死過一次之後一定識