Monády v Javě

[Mysteriozni Z.]

Mám řekněme následující kód:

Kód: [Vybrat]

Files.walk(Paths.get("C:\\"))
            .map(Path::toFile)
            .filter(File::isFile)
            .forEach(file -> System.out.println(file.getAbsolutePath()));

Konkrétně mi jde o tohle: .filter(File::isFile)


Funkce File::isFile vypadá následovně:

Kód: [Vybrat]

  public boolean isFile() {
        SecurityManager security = System.getSecurityManager();
        if (security != null) {
            security.checkRead(path);
        }
        if (isInvalid()) {
            return false;
        }
        return ((fs.getBooleanAttributes(this) & FileSystem.BA_REGULAR) != 0);
    }

Pochopil bych, kdyby File::isFile byla staticka tridni metoda

Kód: [Vybrat]

public static boolean isFile(File file) { ... }

Potom by mi bylo jasne, jak .filter(File::isFile) funguje, tj. pres funkcni interface. Jenze funkce isFile() se musi zavolat nad instanci tridy File a ja nechapu, jak se toho da dosahnout pomoci lambd. Muzete mi to nekdo vysvetlit?

Dik

[Reklama]

[dustin]

Objekt třídy File do toho filtru leze z mapovací (tedy konverzní) metody map toFile.

[pecrom]

presne tak, tim ze to premapujes na Stream<File>, tak pak u toho filtru muzes pouzit (File f) -> f.isFile() , nebo f -> f.isFile() NEBO File::isFile, protoze se to isFile zavola na tom prvku toho streamu.

[Mysteriozni Z.]

presne tak, tim ze to premapujes na Stream<File>, tak pak u toho filtru muzes pouzit (File f) -> f.isFile() , nebo f -> f.isFile() NEBO File::isFile, protoze se to isFile zavola na tom prvku toho streamu.

Ano, tomu samozrejme rozumim, ale nechapu jak by to zavolalo isFile jinak, nez za pomoci reflexe. To jde nejak udelat pres lambdy?

[Ondra Satai Nekola]

presne tak, tim ze to premapujes na Stream<File>, tak pak u toho filtru muzes pouzit (File f) -> f.isFile() , nebo f -> f.isFile() NEBO File::isFile, protoze se to isFile zavola na tom prvku toho streamu.

Ano, tomu samozrejme rozumim, ale nechapu jak by to zavolalo isFile jinak, nez za pomoci reflexe. To jde nejak udelat pres lambdy?

Proc by to potrebovalo reflexi? Kdyz mas kolekci souboru, tak map, filter... aplikuji lambdu, ktera ma v hlavicce soubor. Je to omezena podoba typove inference a cele je to resene cmpiletime.

[Reklama]

[Mysteriozni Z.]

presne tak, tim ze to premapujes na Stream<File>, tak pak u toho filtru muzes pouzit (File f) -> f.isFile() , nebo f -> f.isFile() NEBO File::isFile, protoze se to isFile zavola na tom prvku toho streamu.

Ano, tomu samozrejme rozumim, ale nechapu jak by to zavolalo isFile jinak, nez za pomoci reflexe. To jde nejak udelat pres lambdy?

Proc by to potrebovalo reflexi? Kdyz mas kolekci souboru, tak map, filter... aplikuji lambdu, ktera ma v hlavicce soubor. Je to omezena podoba typove inference a cele je to resene cmpiletime.

Mohl by jsi prosim napsat uryvek, jak to priblizne v te motode filter() vypada? Ty vis, ze se ma zavolat metoda File::isFile. Mas taky instanci tridy File, nad kterou se ma isFile zavolat. Jak to teda udelas jinak nez pomoci reflexe:

Kód: [Vybrat]

method.invoke(obj, arg1, arg2,...);

[Ondra Satai Nekola]

presne tak, tim ze to premapujes na Stream<File>, tak pak u toho filtru muzes pouzit (File f) -> f.isFile() , nebo f -> f.isFile() NEBO File::isFile, protoze se to isFile zavola na tom prvku toho streamu.

Ano, tomu samozrejme rozumim, ale nechapu jak by to zavolalo isFile jinak, nez za pomoci reflexe. To jde nejak udelat pres lambdy?

Proc by to potrebovalo reflexi? Kdyz mas kolekci souboru, tak map, filter... aplikuji lambdu, ktera ma v hlavicce soubor. Je to omezena podoba typove inference a cele je to resene cmpiletime.

Mohl by jsi prosim napsat uryvek, jak to priblizne v te motode filter() vypada? Ty vis, ze se ma zavolat metoda File::isFile. Mas taky instanci tridy File, nad kterou se ma isFile zavolat. Jak to teda udelas jinak nez pomoci reflexe:

Kód: [Vybrat]

method.invoke(obj, arg1, arg2,...);

Java je OSS.

[javaman ((]

Tohle nedá ani většina Java lopat, takže začátečník nemá skoro šanci bez velkého studia

[Mysteriozni Zeli]

Tak bys mohl vedEt, ze si v te meTode filtr nic neprectu, protoze je to vsechno udelane pres interface.

[dustin]

Tohle nedá ani většina Java lopat, takže začátečník nemá skoro šanci bez velkého studia

Ale houby, není to žádná věda. Bereš prachy, tak se taky nauč něco nového užitečného. Nebo ti na všechno dává zaměstnavatel lidi a sám nemusíš umět nic, jenom žvanit a chvástat se?

[Ondra Satai Nekola]

Tak bys mohl vedEt, ze si v te meTode filtr nic neprectu, protoze je to vsechno udelane pres interface.

To je takovy problem se dobrat implementace? (on by ti mel stacit i ten interface, aby sis vsimnul tech generik).

http://hg.openjdk.java.net/jdk8/jdk8/jdk/file/tip/src/share/classes/java/util/stream/ReferencePipeline.java#l160 by ti mohlo pomoci. Ale zrovna tady ta konkretni implementace spis zamlzi, je tam dost detailu, od kterych te interface odstini.

[Mysteriozni Zeli]

To mi porad nepomohlo. Ano vsiml jsem si generik. Ale generIka ti nijak nepomuzou aby jsi zavolal obecne metodu x nad instanci tridy y.

[Mysteriozni Z.]

Ok takze ptam se dal. Mam:

Kód: [Vybrat]

@Override
    public final Stream<P_OUT> filter(Predicate<? super P_OUT> predicate) {
        Objects.requireNonNull(predicate);
        return new StatelessOp<P_OUT, P_OUT>(this, StreamShape.REFERENCE,
                                     StreamOpFlag.NOT_SIZED) {
            @Override
            Sink<P_OUT> opWrapSink(int flags, Sink<P_OUT> sink) {
                return new Sink.ChainedReference<P_OUT, P_OUT>(sink) {
                    @Override
                    public void begin(long size) {
                        downstream.begin(-1);
                    }

                    @Override
                    public void accept(P_OUT u) {
                        if (predicate.test(u))
                            downstream.accept(u);
                    }
                };
            }
        };
    }

Porad tam nevidim odpoved na co se ptam, jsem u:

Kód: [Vybrat]

predicate.test(u);

[Mysteriozni Z.]

Rozumim teto variante:

Kód: [Vybrat]

Files.walk(Paths.get("C:\\"))
            .map(Path::toFile)
            .filter(file -> file.isFile())
            .forEach(file -> System.out.println(file.getAbsolutePath()));

Protoze jsem to JA, kdo tam napise, co se ma konkretne zavolat nad file. Ale ne teto variante, paklize tam vnitrne neni pouzita reflexe nebo File::isFile neni tridni metoda:

Files.walk(Paths.get("C:\\"))
            .map(Path::toFile)
            .filter(File::isFile())
            .forEach(file -> System.out.println(file.getAbsolutePath()));

[Mysteriozni Z.]

Kdo to vysvetli je borec.